Library UniMath.Bicategories.MonoidalCategories.EndofunctorsWhiskeredMonoidal

**********************************************************
Ralph Matthes
2022, after the model of EndofunctorsMonoidal
**********************************************************
Contents :
  • build monoidal category for the endofunctors
we need this high-level view in order to be able to instantiate montrafotargetbicat_disp_monoidal in ActionBasedStrongFunctorsWhiskeredMonoidal