Refactor Relational to avoid long hanging evaluations.

Only call diff.equals(0) if we have a nonsymbolic expression.
hydrogen.py: Use Eq(i, i.doit()) again.