conditionals in distributive multicategories

Tags: conditional, distributive multicategory.