[#4] Improved zipper representation and implementation.