Fix bug in Transforms/Constructors.hs where cases inside lambdas weren't being transformed
Move type pretty-printing into Format.hs and remove some old stuff
Make GMachine capable of printing state as it executes
Move more of the type-inference types in Types.hs
Make type inference return list of top-level types instead of printing them inline
Rewrite driver code for compiler

Interactive-stepping mode is gone, but I'll proably add a real REPL later on
anyway. The following options are now available:

Usage: mini-core [OPTION...] file
  -h  --help         Print usage and exit
      --show-parse   Show program after parsing
      --show-types   Show types after type-checking
      --show-simple  Show program after constructor generation and lambda lifting
      --show-g-code  Show G-code after compilation
      --show-states  Print each machine state as program executes
Add extension in cabal file for sane if-then-else indentation in do-blocks
Updating examples and test output for data types. Fixing flags in Makefile.
Add testcase with some polymorphic functions (used polymorphically!)

Sidenote: really need to write a script to run tests. Makefile is starting to
look silly
Updating README. Need to add References section once I have internet access