Major refactor (again of Ixs and loops):
 * Change AST for loops: no type provided (back-end dependent) and does not take Ix AST.
 * Fix bug in rawIxVal.
 * Add Ix and loop VCs.
Formatting, wibbles.