rename map_union_subseteq_l_alt → map_union_subseteq_l' (and likewise for _r)

2 jobs for !301 with ralf/map_union_subseteq in 4 minutes and 45 seconds (queued for 9 seconds)
latest merge request