Rewriting Modulo Traced Comonoid Structure