Wiring diagrams for closed monoidal categories

Support wiring diagrams for (non-compact) closed monoidal categories, especially cartesian closed categories.

We already support nested wiring diagrams. What is missing is support for the relevant doctrines in `MonoidalWiringDiagrams` and, more importantly, a convention for representing currying (lambda abstraction) and evaluation. Surprisingly, this seems to be a gap in the literature on string diagrams. See the references on [my wiki](https://www.epatters.org/wiki/algebra/string-diagrams-for-closed-categories.html), especially the 1997 paper by Alan Jeffrey.