Create expressions from wiring diagrams with copies, merges, etc.

[epatters]

As of #35 and #38, we have basic support for converting wiring diagrams representing morphisms in a symmetric monoidal category into syntactic expressions. Extend this support to wiring diagrams with copies, merges, deletions, and creations, corresponding to morphisms in (co)cartesian categories and related doctrines.