sclass NamedVar<A> extends Var<A> {
  S name;
  
  *() {}
  *(S *name) {}
  *(S *name, A value) { super(value); }
}