Fixed how MGUs are simplified for displaying nicely.

  - I used to simplify *after* filtering out intermeidate variables
  - this broke for things like Y = X_4, X_4 = Z_4, ...etc.
  - also simplified simplify, which made Interpreter.hs much nicer
Added a few exercises about numbers, and made sure to implement them
correctly!