AbstractVisitor -> TmaVisitor
better Node.accept() template; introduce TmaStateref