Rename `fin_maps.singleton_proper` into `singletonM_proper`.

Merged Robbert Krebbers requested to merge robbert/singletonM_proper into master

Merge request reports