Fix types. Implement a few more opcodes.