No need to re-walk (in =/= and ==) when switching arguments around.

Suggested by @dfried00 and @jasonhemann
No need to remove #f from reified constraints, because
reify-some-constraints are chained and only add true constraints.

Suggested by @dfried00 and @jasonhemann.