Add simplistic support for wilCards in generics

The change makes the sample generation more general. Previously, it would have failed generating a List[MyCaseClass] or a case class composed of other case classes or of lists.

It introduces a few regressions, but it's worth taking a snapshot anyway.