Describir: Zipping and Routing: Provable and Practical Algorithms in Trees, Tries, and Graphs