Adding a [map] primitive to the tactic monad. Hopefully this should be
slightly more efficient in general.