miscellaneous map lemmas

Merged Ralf Jung requested to merge ralf/map into master

some of these are from Perennial

Merge request reports