ZipperPlayLens.eg2' finally seems to be doing what I want, in terms of
traversing and editing the tree