Added method FiniteFreeModule.dual()