Added an inverted version of the CongruenceMap

This will alllow fast searching for expressions within a given class.