Awesome stuff! Are you planning to implement the Zhang-Shasha/Demaine algorithms next?
That's the plan! Once I implement tools for better tree handling in the Wolfram Language.