Merge pull request #149 from garyb/master

Revised fix for code gen for data constructor pattern matches
Bump version
Support constrained types in the subsumes check #138
A test for the $ bug, can now apply $ to a constrained function type.
Remove multiple argument functions, allow type class instances for ->