sclass G22TypeDesc {
  S exactClassName;
  Set<S> implementedClassNames; // also, superclasses
}