Change InstanceType equality.
Consider them equal only if:
1. They are of the same class
2. No new fields are added
3. No field have been mutated into a different type