Corrected some type signatures in the zipper docs