reductions may contain inames in a more complex fashion, here.

Some work on parameter classes, a bugfix on the splitting algorithm
some simplifications in the generation stage