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
Will do.  For future reference, how would I know to implement `_eval_something` instead of `something`?  `is_polynomial` is implemented in `Expr`.