I favor `Tensor[int, *Tuple[Any, ...]]` over new syntax like `Tensor[int, ...]` because the former allows for more nuanced types like `Tensor[int, str, *Tuple[Any, ...], T]` whereas the latter doesn't. It's also a clear analogy that we are replacing `Ts` with `Tuple[Any, ...]`.