MapSet allows multiple maps of same name

[jllanfranchi]

... and this breaks the logic when e.g. taking ms - ms where ms is a MapSet.

[LeanderFischer]

I think this is still the case, but sometimes it's also useful to have them named similarly (if they are supposed to be dealt with in a similar manner in some stages).