Add *Spec* newtype
fix Basic opcodes
fix advanced opcodes
fix Data opcodes
fix Interaction opcodes
divide Opcode un submodules
divide Opcode un submodules