Propagate either or over-ride mightHaveChanged value
In areEqualTypes, handle elaborated types