First draft of free module morphisms.