Protocol Conformance for Tuples / Anonymous Structs

I feel like this is a natural extension of the use of a leading dot to indicate compiler-inferred information, like leaving off the enum type name before a case when it can be inferred, so it does not feel foreign to me.

I’m not a fan of leaving initializer parameter labels off without the API author’s explicit buy-in by providing an all _ init.