Added 4D example, type synonyms Z2, Z3, Z4, and Zipper4 typeclass.