Merge branch 'robbert/preimage' into 'master'

Preimage function for finite maps.

See merge request !382
4 jobs for master in 12 minutes and 53 seconds (queued for 2 seconds)