module-system.md

@@ -13,7 +13,7 @@ In particular capital names are treated as types or classes in imports and expor
 
 
 
-Make bare capital names _always_ refer to value constructors, the presence of a subordinate list will distinguish type and class names.
+Make bare capital names _always_ refer to value constructors, the presence of a subordinate list will mean it should be interpreted as a type or class.
 
 
 
@@ -21,6 +21,10 @@ so T will refer to a constructor always and T() will refer to a class or type al
 
 
 
+this same rule will be used uniformly in export,import, and hiding lists.
+
+
+
 This will not only make everything consistant, but allow seperate decisions on whether to export a value or type constructor if they have the same name.