Add Haskell types for opcodes and parameters