New derivations for IsMonomorphism & IsEpimorphism

Closes #14