Moved instr.
Typed automata for Instr.
Swept and fixed interim commit.
Regrouped bge and br implementation.