Pushed more of the zipper mechanics into a utility function, and
simplified the tie-up between the part of the GenericQ that matches
and the related transformation to be applied to the zipper.