Finished FiniteFreeModule + more doc