Fix bugs in type inference

functions such as filter now correctly inferred
Add library functions
Add list notation

Separator is ',', not ';'
Add functional notations of operators
Add function "not"
Add functional notation of pair (,)
Suppress all warnings in happy-generated hs files
Support operator /= (not equal)