[ty] Promote a union of homogenously-typed, fixed-length tuples of differing lengths to a single, variable-length tuple when the type appears in an invariant position.

[ty] Promote a union of homogenously-typed, fixed-length tuples of differing lengths to a single, variable-length tuple when the type appears in an invariant position. #3416