Support `ty`

[A5rocks]

ty is another new typechecker. We should run it over our type tests to make sure it's supported.

Currently blocked on astral-sh/ty#156