Modify the AST following the remarks. Non-mutable AST. Type application.