The category of commutative additive groups has images. #
Note that we don't need to register any of the constructions here as instances, because we get them
from the fact that
AddCommGroupCat is an abelian category.
The categorical image of a morphism in
agrees with the usual group-theoretical range.