But I see no reason to try and combine any of that with Tuple, as Tuple andTypeTuple do fundamentally different things.
TypeTuple does not cover all built-in tuple cases. There is also built-in expression/run-time tuple which is also native to language but differs from library std.typecons.Tuple _only_ with lack of ABI.
You may underestimate the mess here.