Reverted to non-typeclassed version of cell, using dcell for dynamic cells now.
Changed over Z2 to be a proper newtype, allowing for a comonad instance. Now it turns out that evaluate is wfix, for any dimensionality of zipper!