isSubmodule
isSubmodule M
-- tells whether M is provided as a submodule of a free module.
