@@ -6,7 +6,7 @@ Build Improvements:
66 * Major speed improvements to type-checker
77 * Type-checker should catch _all_ type errors now
88 * Module-level compilation, only re-compile if necessary
9− * Import type aliases between modules
9+ * Import types and type aliases between modules
1010
1111Error Messages:
1212 * Cross-module type errors