experimental support for full type application syntax, basic error checking, still needs syntax for user created types