diff --git a/readme.md b/readme.md
index e491899..7054b44 100644
--- a/readme.md
+++ b/readme.md
@@ -399,10 +399,13 @@ function in the caller's module (or in its single flat import that provides it).
 A bare call to a name that two or more flat imports both provide is ambiguous and
 is rejected; qualify it with a namespaced import (`m :: #import …; m.fn()`).
 
-A **namespaced** import only binds its alias: the module's names are reachable
-solely as `m.name`. A bare reference to one of those names errors with `'name'
-is not visible; #import the module that declares it` — bare-name visibility joins
-over flat (`#import "…"`) imports only, never over a namespaced alias.
+A **namespaced** import only binds its alias: reach the module's members as
+`m.name`. A bare reference to a **value or function** from a namespaced-only
+import errors with `'name' is not visible; #import the module that declares it` —
+bare-name visibility for values and functions joins over flat (`#import "…"`)
+imports only, never over a namespaced alias. (Bare **type** names from a
+namespaced-only import still resolve today; tightening type-name visibility is a
+later resolver phase.)
 
 ### Implicit Context