Finished section on Modules. Onto Types.