Zipper like structures that integrate tightly with core.logic.