Rename `fin_maps.singleton_proper` into `singletonM_proper`.

mentioned in commit c6cd6c29

merged

Please remember to Cc @iris-users on breaking changes. This broke (at least) lambda-rust weak_mem.