Merge branch 'ralf/map_union_subseteq' into 'master'

rename map_union_subseteq_l_alt → map_union_subseteq_l' (and likewise for _r)

See merge request !301