If two regions are identical, could they hash the same? This would greatly simplify my life, as right now I have to convert Regions to tuples before adding them to a set, and then convert them back to Regions before using them.