Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure (Logical Methods in Computer Science, 2025)