Adding types to opcodes