Add missing Eq instance for IVar
Experimenting with DeepFreeze, but having trouble typing it