SI-8894 dealias when looking at tuple components

[Shooting from the hip here: did not run test suite.]

Classic bait-and-switch: `isTupleType` dealiases, but `typeArgs` does not.
When deciding with `isTupleType`, process using `tupleComponents`.
Similar for other combos. We should really enforce this using extractors,
and only decouple when performance is actually impacted.
You can reuse this over in `uncheckableType` in `MatchAnalysis.scala`.