public interface TermVisitor
void
visit(Number n)
visit(Struct s)
visit(Var v)
void visit(Struct s)
void visit(Var v)
void visit(Number n)