Replacing topenv -> typedef. Adding instr2, for instruction set closer
to CIL (see module atsparemit_syntax_cil).