TODO. The dirichlet product gives a symmetric monoidal structure on Species [00EI]

TODO: Look into the definition of symmetric monoidal, figure out what else there is to show here (i.e coherence stuff). Conclude.