Separate canonical value lookup and default constructor in @immutable
Make @immutable handle inner constructors
Introduce indof, eqof, Tof, to abstract Ref/Egal/Isa a bit
Replace deprecated functions
Update test, remove an outdated one