Parser/AST: type annotation expression
AST: visitor
AST: visitor
AST: visitor