slightly optimize has_free_typevars (#49278)

Manually convert these to tail-recursive form, so the stack can be
unwound directly as soon as it finds an answer in many common cases
(DataType with many simple UnionAll wrappers).