Continued the implementation of free module morphisms.