Revert "Domain:-Apply shouldn't do any solving/simplification" This change was unneccessary; it doesn't particularly make any difference here whether we return Partition or piecewise, but we want to move away from piecewise wherever possible.
Revert "Domain:-Apply shouldn't do any solving/simplification"
This change was unneccessary; it doesn't particularly make any difference
here whether we return Partition or piecewise, but we want to move away
from piecewise wherever possible.

This reverts commit 1def90bf8160892990aa051e23b919acf4613c02.

zaxtax/hakaru,zachsully/hakaru,zachsully/hakaru,zaxtax/hakaru