Now expands all subsets of sums and products

Other operators require no change since they are unary or binary -
subsets only non-trivial with ternary and above