Equality: add examples to docstring

Show effect of simplify and evaluate=False kwarg.

(one of several bits left over from #7960, if unwanted just say so).
space around `+` (not your fault, I know). Also add a note like:

```
The default is to attempt evaluation. An unevaluated Equality will
be returned if nothing is trivially apparent about the relationship.
```