Started to implement class FreeModuleIdentityMorphism