Supports anonymous closures (Fixes #19)
Supports pattern matching.
Fixes binary operations associativity, and unary constructors pattern matching.