Types inherent in opcodes now