Basic immutable DAG support at the zipper.kep level which breaks probably support for anything but nary/edge zippers