Support for type constants: implemented the LOADTYPE instruction.