TypeFamilyGenerator

Generator used by type-family rules.