Map keys should be checked for differences, too

[SQiShER]

Currently they only serve as identifiers for map values (via equals())

[SQiShER]

Apparently this feature isn't in high demand, so I'm dropping it for now, as there are more pressing issues that need to be addressed.