static Set<S> allConceptNames() {
  ret allConceptNames(db_mainConcepts());
}

static Set<S> allConceptNames(Concepts concepts) {
  new TreeSet<S> names;
  for (Concept concept : allConcepts(concepts))
    names.add(shortDynamicClassName(concept));
  ret names;
}