TermVisitor now has Bindings as arg to Struct and Var (uh, we need them,
don't we). Signature with Object removed (temporarily) to avoid
catch-all situation. Exception thrown if any visited class is not known.