Spell out function names in `Proper`s instead of using notations.

2 jobs for !276 with robbert/map_setoid in 5 minutes and 17 seconds (queued for 3 seconds)
latest merge request