Improved documentation of FreeModuleTensor