Experimentally applying eager evar substitution at the same time as
eager meta substition in w_unify, so as to preserve compatibility
after PMP's move of (setoid) rewrite clauses from metas to
evars (fbbe491cfa).

Hoping it is compatible for non-rewrite uses of the eager meta flag,
and that it is not too costly.