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

update: no longer on top of #7959 and #7838.
Actually, I guess this is not necessary. `is_zero` should be up to the task and if it's not, it should be improved.