Finished implementation of the CuMin denotational semantics.
Also contained in this commit are
  * a bit more text for the thesis
  * a CuMin REPL with basic REPL features
(One commit to rule them all)