Recurse into return types

[sourcefrog]

trafficstars

For example Option<Result<String>> could generate various values within the tree of possibilities.

Conceivably this might generate too many mutations for some functions in which case we might need a cap.