add a fixme note: can we do nan._eval_Eq() instead?
don't mess with _Inequalities and nan, just Equality and UnEquality