module documentation

Test cases for the type checker: exporting inferred types

Class TypeExportSuite Undocumented