More progress with new freezing approach.
Refactoring: moved the type class def around.
Tweaked Set and IVar to use the new method.