Compile-time reflection

[BCS]

Reply to Kirk,

> void foo() {}
> void foo(int i) {}
> void foo(int i, int j, int k=20) {}
> The first thing a compile-time reflection mechanism needs is a way to,
> given a symbol, derive a tuple of the signatures of the function
> overloads. 
[...]
> 
> foo.tupleof => Tuple!(void function(), void function(int), void
> function(int, int, int))
> 

Why have this give a type tuple? I'd have it give alias to the overloads 
them selves.