Move _eval_sides to the Relational._eval_simplify helper
Slightly expand Equality docstring: add notes about simplification