algorithms: ZipperTree2 with ZipperList-s and better semantics.