Interface TermVisitor<T>