Small changes for integration of Abs

- rewritten as Abs as Heaviside
- rewritten as Heavisides as sign
- integrals with simple heaviside terms
- added ExprCondPair.is_polynomial
Somehow, `is_polynomial` was getting called on one of `ExprCondPair`, which acted like a tuple.  I will try to reproduce it.