nitc :: DetectCovariancePhase :: cpt_subtype_kinds
fun cpt_subtype_kinds: Counter[String] do return once new Counter[String]