Equality: less automatic simplification and fix 'Eq(p, 0)' for p positive

update: no longer on top of #7959 and #7838.
On Sun, Sep 21, 2014 at 09:00:56AM -0700, Colin Macdonald wrote:
>    You mean for _Inequality right? It should be fine for Equality.

Yes.