completed sketch of zipper-based filesystem
added safety to zippers by using Maybe to get rid of pattern match failure in zippers