Implemented generalised abstraction expressions and freshfor, but binding position patterns still not complete
Added freshfor keyword
Implemented generalised pattern matching in name abstraction binding position
Updated rules to handle generalised name abstractions
Fixed bug which allowed ctors to be used as ids in let decls
Fixed bug with freshfor returning prematurely and scoping bug in typechecker
Added CL option to stop after first error
Ported more programs from A.M.Pitts Fresh OCaml examples