Simplification doesn't pull unary minus out of brackets with more subtraction terms

[christianp]

Here's a small example: -a + b - 2c + 0. I'd expect this to simplify to b - a - 2c, with all the rules turned on.

I think the problem is that the rule for pulling out unary minus, ?;x + (-?;y), matches with strictInverse turned on, so while extra addition terms are matched under rest, extra subtraction terms are not. Could getTerms be changed to capture inverse terms only under rest, and not consider them for the match?