Define Tactics.bring_hyps in the new monad.