[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>

Author: AlexWaygood