Add other types of special morphisms

[ScriptRaccoon]

In the table special_morphism_types we can add further types:

Type	Done
regular monomorphisms	❌
split monomorphisms	❌
effective monomorphisms	❌
strong monomorphisms	❌
extremal monomorphisms	❌

Same with epimorphisms.

Then, add descriptions for all these types to the existing categories (using the special_morphisms table) where they are known or can be determined easily.