module-system.md

@@ -9,12 +9,15 @@ In particular capital names are treated as types or classes in imports and expor
 ## Proposal
 
 
-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.
 
 
 so T will refer to a constructor always and T() will refer to a class or type always.
 
 
+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.