freevars and applyToTypeExp; please helpcheck