Rename `map_preimage` into `map_preimg` (to be consistent with `dom`).
For the domain of a map we use dom
, not domain
.
So it makes sense to also use img
instead of image
. In !444 (merged) we already do that for the proper image, so let's do too for the pre-image.