I'd like to commit David Rowley's patch from the other thread first, and then deal with this one afterwards. The only thing I feel strongly needs to be changed in that patch is CFUNC -> COMBINEFUNC, for clarity.
I have addressed that in my local copy. I'm now just working on adding some test code which uses the new infrastructure. Perhaps I'll just experiment with the parallel aggregate stuff instead now.