Simplify more expressions with Partitions.
Simplify more expressions with Partitions.

In particular, if a sub-expression of a sum or product contains another
sub-expression which is not a Partition but contains a Partition, that can be
simplified.

zachsully/hakaru,zachsully/hakaru