Add `map_Forall2_dom`.

I didn't add a CHANGELOG, because there is already "Add map_Forall2 and some basic lemmas about it".