Better error Show instance
+ and - allowed as symbol
== and < operator allowed as symbol
Bug fix  Non-exhaustive patterns
Bug fix. Lambda can now be passed around