Class FiniteFreeModule renamed FiniteRankFreeModule + minor modifs