make EqualityNonEval a subclass of Equality: hopefully solver just works

also comment changes
tests for EqualityNonEval, sympy Issue #7777