Towards addition of propper IMC super types.
Experimental support for super types with fields.