Visitor refactoring: Step 1, couple (Env, vt<Env>) together in a tuple.

This step 1 in my plan for issue #7081: Refactor visit.rs with a `@Visitor` trait.