Add vars to tvar environment when infering poly function applications.