Implications between ZeroObject and Initial/TerminalObject
Fixed filters for Initial/TerminalObject
Removed CanComputeMorphism*ZeroObject
Concistency of WithGiven functions

KernelEmbWithGivenKernel must not be used in the
derivation of methods. Same is true for
CokernelProjectionWithGivenCokernel.