A collection of collection. Each instance of gene type is an identified type of gene. Each instance of gene type is a spec of gene, but not every spec of the later is an instance of the former. This collection enables the description of genes as type-collections, and eventually will provide a hook from Cyc KB to any external database of genes.