* fix type inference rules
* add a makefile
* fix the main driver for the interpreter to print out a string that
  the test cases seem to expect