Re-enable all simplifier rules (oops).
Do not add pointless loops during internalisation.
Add closed-form simplification for loops.
Fix loop variable ranges.