Coarbitrary implementation of spec-related combinators

[markusschlegel]

You can currently use spec only to generate data but not to generate functions that take a spec as domain or range. In order to get there we need to implement coarbitraries for the such-that and generate-one-of combinators.