TypeChecker.hs file with all the code from the book pages 70-73
some things commented out for step-by-step compilation and testing