On: Bringing uv and ty together

[satvikpendem]

A implies B does not mean B implies A too. You can use ty separately, this isn't stopping that, but it is useful for uv check to use ty together.