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