Remove Algebra.Module.Morphism.ModuleHomomorphism

[Taneb]

Added in #1767. After that was merged, I advocated making substantial changes before the release here, but neglected to do so in time and mostly forgot about it.