Pre-RFC: variadic tuple

[fredpointzero]

@RustyYato

On the note of dylibs,I think variadic tuples should be handled in the same way as generics.

Can you elaborate? I did not find precise documentation about this. (except this pre-RFC)