Added more opcodes for type analysis