Better error messages for type application errors where something that was not a type operator, type variable, or type application is used
Removed spurious code from experiments
fix false positive when checking lhs of type declarations for being type decls themselves
change the type of error for type decl syntax
Merge pull request #12 from oftn/master

merge OFTN version