0.6.0 new TermVisitor signatures.