Add a false case to the patterMatch
Remove unnecessary typeSubst function
Teach environments how to print, read, and equalitate
Finally finish evaluator for statements