I dun a DIP, possibly the best DIP ever

[Stefan Koch]

On Tuesday, 28 April 2020 at 01:20:50 UTC, rikki cattermole wrote:
> A while back on IRC we came up with an idea for first class 
> types.
>
> https://gist.github.com/rikkimax/046fb4451e8cbac354ecb292f9a76798#file-first-class-types-md
>
> Basically just an extension of TypeInfo.

I was going for a solution which leaves most of the syntax as is. 
All that requires is slightly special handling of most tuple 
returning __traits, as well as a way to create "assignable" 
tuples.
(Which are not actually tuples but rather references to tuples)