Working on AST: t+