Add support for variables.
Add 'assign' and 'donothing' statements.
Ensure operators, primitives and variables print in a readable manner.
Add support to the machine for reducing statements.