Clenvtac.res_pf is in the new tactic monad.