Don't generate terms of function type unless there are higher-order functions.
Don't require CoArbitrary for baseType.