Work on AST: t+