Text this: Rewriting Modulo Traced Comonoid Structure