[ty] Make special cases for subscript inference exhaustive

[AlexWaygood]

Summary

Fixes https://github.com/astral-sh/ty/issues/2015. We weren't recursing into the value of a type alias (or the bounds/constraints of a typevar) when we should have been.

Test Plan

added mdtests