Removing opens to Clenvtac to track its use more easily.
Clenvtac.unify is in the new monad.