[ty] Ban legacy `TypeVar` bounds or constraints from containing type variables (#22949)
## Summary
The conformance suite mandates that type checkers should ban such
constructs.
## Test Plan
mdtests updated
---------
Co-authored-by: Shunsuke Shibayama <sbym1346@gmail.com>