Indexing

This mainains a global mapping from type families to their constructors.