a (somewhat unhinged) pathway to variadic generics in rust

i’ve written (despite my brain’s effort to the contrary) a less-than coherent summary of my cohesive variadic generics design. this is one language feature that i’ve wanted since i started using Rust, so please check the "proposal" out!