handle taint propagation of instruction types in "type_stack1_instr_lookup",
including: STRHT, LDRHT, LDRSHT, LDRSBT.