Removed reliance on walk in many places, with zipper-based prewalkseq.