Reduce the reliance on clenvs in Equality.
Reduce the reliance on clenvs in Equality.

We actually know statically that the current evarmap is the one of the clenv
because it was set by onEquality.

SkySkimmer/coq,Zimmi48/coq,ejgallego/coq,Zimmi48/coq,SkySkimmer/coq,coq/coq,coq/coq,coq/coq,SkySkimmer/coq,Zimmi48/coq,Zimmi48/coq,ejgallego/coq,SkySkimmer/coq,ejgallego/coq,ejgallego/coq,coq/coq