parser for explicit type annotations for external calls