code: void addVar(TypeVar t) {
          this.undetvars = this.undetvars.prepend(infer.fromTypeVarFun.apply(t));
          this.inferencevars = this.inferencevars.prepend(t);
      }
docs: add a new inference var to this inference context