Fix grammar to be unambiguous, at the cost of overloading SetRef to also include Assignment
Add Haskell implementation of simple untyped lambda calculus, just because