Add dialogue laws
Producers, consumers and sessions
Remove equipment optics article
Add isomix category laws
Linear terms for monoidal categories
Add some profunctor laws
Add copy/discard diagrams
light/dark diagrams
Update Law-diagrams.md
Law diagrams
Update Optics-in-proarrow.md
Updated Optics in proarrow (markdown)
Create Optics-in-proarrow.md
Updated Equipment Optics (markdown)