Library UniMath.Bicategories.MonoidalCategories.EndofunctorsMonoidal

**********************************************************
Ralph Matthes
2019, change to z_iso as base notion in 2021
**********************************************************
Contents :
  • build monoidal category for the endofunctors
we need this high-level view in order to be able to instantiate montrafotargetbicat_moncat in ActionBasedStrongFunctorsMonoidal