merge OFTN version #12

Merged

weskerfoot merged 4 commits from master into master 11 years ago

Author	SHA1	Message	Date
nisstyre56	c6ad6e2b17	change the type of error for type decl syntax	11 years ago
nisstyre56	2ddb05930c	fix false positive when checking lhs of type declarations for being type decls themselves	11 years ago
nisstyre56	4c285539eb	Removed spurious code from experiments	11 years ago
nisstyre56	f1b12a26e5	Better error messages for type application errors where something that was not a type operator, type variable, or type application is used	11 years ago