Fix definitions of names and numerals.
Linearise Operations into Instructions.
Handle variable declarations properly when flattening.
Start work on CFG reduction.