Because traditional ring theory places restrictive hypotheses on all submodules of a module, its results apply only to small classes of already well understood examples. Often, modules with infinite Goldie dimension have finite-type dimension, making them amenable to use with type dimension, but not Goldie dimension. By working with natural classes and type submodules (TS), Classes of Modules develops the foundations and tools for the next generation of ring and module theory. It shows how to achieve positive results by placing restrictive hypotheses on a small subset of the complement...