Preliminary implementation of the parser
Add equality as a primop
Add `match' to the language
Leading underscores are valid in identifiers
Update the exported binding name to parseProgram
Add a `fatArrow` and rename `arrowT` to just `arrow`
Actually remove arrowT
Add match expressions, terminate expressions with end, fix bugs
FailS takes a String, not a Fail
Give type to emptyHeap
Change unused arguments to underscores
Define emptyStore instead of using M.empty
Delete useless empty line
Add patternMatch case for non-matches
Add a false case to the patterMatch
Remove unnecessary typeSubst function
Teach environments how to print, read, and equalitate
Finally finish evaluator for statements
Add a Main.hs which reads from stdin