Adding an evar version of the make_clenv function.
Using new clausenv in rewrite.
Fixing decompose_app_rel in Rewrite.

The old implementation did not beta-iota normalize before observing the head of
the term, resulting in stange bugs.