Generalize visit_early_late
WIP -- distinguish early/late for impls
WIP -- replace late-bound regions in coherence
WIP -- working on introducing binder_id to TraitRef