Fix a Not_found anomaly raised by solve_evar_evar, we were breaking the
invariant that the evar arguments to that function always have to be undefined.
In setoid_rewrite, force resolution of the contraints generated by rewriting only.
Do not mix it with resolution of user-introduced subgoals of typeclass type (bug found
in ATBR).