Added a section describing the ModuleType annotations.