Add more types of morphisms

[ScriptRaccoon]

Continuing #265, which introduced morphisms as a new structure type and added a couple of types of epimorphisms already, more types of epimorphisms should be added:

• effective epimorphism
• strict epimorphism
• extremal epimorphism
• strong epimorphism
• normal epimorphism

The corresponding types of monomorphisms should also be added.

Also:

• constant morphism
• coconstant morphism

Also, add the corresponding results that compare these properties.

Bonus: If the page with missing data lists consistent yet unwitnessed combinations, add examples of morphisms. For example, a regular epimorphism which is not effective, etc.