Reduce number of generator-related types

Currently, there are generators, arbitraries, and co-arbitraries. That's one too many.

Mike thinks the way to go is to put a `coarbitrary` field in the `arbitrary` record, which is `nil` when there is no co-arbitrary.