Derive morphism to terminal object from ZeroMorphism

and dual statement.

Closes #7