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