Extend passing Bindings to all visitors.
New TermVisitor signatures and new TermExchanger accepts Bindings to
print solved variables.