A Module dictates how the loaded types are to be partitioned and handled.
The name of the Module.
The types that this module is to handle.
These are the types depended upon by types associated with their module name.