implemented group shrinkers
redesigned Quantified API to make use of case classes to be less opaque
and more testable
implemented shrinkers for quantifieds.