Text this: Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure