Concistency of WithGiven functions

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