sbool isConceptList(O o) {
  if (!o instanceof L) false;
  L l = cast o;
  for (O x : l) if (!x instanceof Concept) false;
  true;
}