typeof from TypeInfo

[Steve Teale]

If I have an int say, I can declare another of the same

int a;
typeof(a) b;

If I have a TypeInfo instance ti, it would be nice to be able to do 
something similar, either special-case it, or have a property or method 
on Typeinfo.

typeof(ti) x;
ti.typeof y;

It's probably already there and I just haven't found it/worked it out yet.

Something of this sort would make the code in typesafe varadic functions 
much more succinct

_arguments[i].typeof a = va_arg!(arguments[i].typeof)(args);

Steve