sclass WithReasoning<A> extends Var<A> {
  S reasoning;
  
  *() {}
  *(A value) { super(value); }
  *(A value, S *reasoning) { super(value); }
  
  toString {
    ret super.toString() +
      (empty(reasoning) ? "" : " because " + reasoning);
  }
}