Closes #22: test functions of arity greater than 2; Value definitions types are now Ty's (almost deprecating TypeExtractor, see #32); adds GHC.Classes.(&&)