Operadic interface for substitution in wiring diagrams

[epatters]

Wiring diagrams form an operad, and operadic composition is just substitution. The current imperative interface for substitution (substitute!, encapsulate!) should be complemented by a functional interface phrased in the language of operads (ocompose, maybe).

In order that the operad laws be satisfied, we will need to resolve #39.