Adding an [modify] function to the tactic monad. It allows to modify
the current state without having to use both get, bind and set.
Actually using the [modify] primitive.