pretty: rewrite for typed opcodes
parser for typed opcodes: done