Rename eq_constr functions in Evd to not break backward compatibility
with existing ML code.