Adding a tclBREAK primitive to the tactic monad.
CPS-style tactic matching. We use the tactic monad as the target of the CPS.
This allows for tail-rec calls, prevents unwanted capture of closures and
results in an overall more efficient evaluation.