Support for type constants: added the LOADTYPE instruction.