Coherent multicategory from promonoidals

• promonoidal category