Introduce a new topsum splitter

... is much easier in loopy!

It is the genral code generation infrastructure after all.

it reserves the trial function as coefficient 0.

That is so awesome.

For some reason I need that subst variable...

Directly return them.