[ty] fix inferring type variable from string literal argument (#23326)
## Summary
Fixes https://github.com/astral-sh/ty/issues/2821
Allow a string literal argument to match against an iterable parameter
in typevar inference.
## Test Plan
Added mdtest.