sclass Str extends Concept {
  S name;
  new L<S> otherNames;
  
  *() {}
  *(S *name) {}
  
  public S toString() { ret name; }
}