concept NamedConcept {
  S name;
  
  toString {
    S s = super.toString();
    if (nempty(name))
      s += " " + quote(name);
    ret s;
  }
}