static L<S> classDeclarationNames(L<L<S>> decls) {
  new L<S> have;
  for (L<S> c : decls)
    have.add(getClassDeclarationName(c));
  ret have;
}