Introduced raw-code macros
Modify a frame should make changes if there are any
Push should return a vector, always
Throw exception for unknown opcodes
Opcode predicates should work on instructions, too!