Add zipper algebra policy tests#48

MesTTo wants to merge 1 commit into

Adam-Vandervorst:zipper_majAdam-Vandervorst/PathMap:zipper_majfrom

MesTTo:pr/pathmap-zipper-types-property-testsMesTTo/PathMap:pr/pathmap-zipper-types-property-testsCopy head branch name to clipboard