proposal: generic tupleof property for expressions

[Downs]

I think D could be made much more powerful by extending the tupleof property
(or a new property) to arbitrary expressions, similar to stringof, along the lines of

(func(a, b)).tupleof resulting in a tuple like Tuple!(int function(int, int), (a, b)).

Or deeper: ((a+b)*c).tupleof == Tuple!(int function(int, int), ((int function(int, int), a, b), c));

 From what I can see, that would allow D to evaluate arbitrarily complex expressions with the minimal amount of language change.
And it also looks a bit like LISP :p

Whaddya think?

  -- greetings, downs