Compiles again.  Extensive changes to mutable-wrapper V and rest of interface to accommodate.
Refactoring successful; can find same kind of trees as before, but with better accuracy.