Started rewriting Eval monadically
Finished the monadic eval function. Seems buggy though?
Removed the Writer monad and now things work
Updated TODO
Removed dead code
Fixed the bug in monadic Eval. The problem was that look became too strict when run in the State monad
Cleaned Eval
Fixed printing of fst and snd
Updated type checker to use traces
Update Makefile to make it easier to switch optimization level (and the traces work with -O2)
Put the environment back out of the Reader monad in eval
Made look work even if strict
Updated evals
Took Simon's bug fixes into account
Removed the Trace and added Debug.Trace in the evaluator again. (This is supposed to be a temporary solution until the strict version works)
Added support to hide type checking information (useful when running tests)
Merge branch 'monadic-eval'

Conflicts:
	Eval.hs
	examples/nIso.cub