Tweak CClosure reduction of evars.
Tweak CClosure reduction of evars.

We move the responsibility of computing the head normal form from knr to knht.
This is more in line with the view that evars should be transparently expanded
into their body.

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