Renaming and ad hoc-ing a zipper.
Rewrote with the paper.
Mutations.
BinaryZipper.