Merge branch 'janno/into-pure-instances' into 'master'

Add IntoPure instances for ∗, ∧, and ∨.

See merge request !49
1 job for master in 3 minutes and 58 seconds (queued for 1 second)