Implement generation of collections of instance types
Implement more test cases
Add property to configure provided generators