challenge #2: implement the varargs_reduce metafunction

[Lutger]

janderson wrote:
> What about maxtype support?

I see, it doesn't do that, not good. In fact it demands all arguments 
and return value to be of the same type.