Allow expanding a tuple type `T` in a list of types with `..T`.
Add tests for tuple expansion in type lists.