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

update: no longer on top of #7959 and #7838.
> The whole "dif" stuff - doesn't make sense if either lhs.is_real is not True or rhs

You mean for `_Inequality` right?   It should be fine for `Equality`.