Added some abstract syntax for explicit type app