Text this: Visibly Tree Automata with Memory and Constraints