pr feedback

Author: jderochervlk

docs/content/docs/contributing/api-module-structure.mdx

@@ -61,10 +61,10 @@ type rec node = {
   // ... more properties
 }
 
-and element = Base.element
+and element = Base.Element.element
 ```
 
-For shared DOM base interfaces such as `Element`, the structural record can live in a Base-owned module such as `Base__Element.res`. The DOM API module then keeps the familiar `DOM.element` alias while method modules use `DomTypes.element`.
+For shared DOM base interfaces such as `Element`, the structural record can live in a Base-owned module such as `Base__Element.res`. `Base.res` should re-export that implementation as a module, for example `module Element = Base__Element`, so the DOM API module can keep the familiar `DOM.element` alias while method modules use `DomTypes.element`.
 
 ## Auxiliary Types
 

docs/content/docs/contributing/module-type-structure.mdx

@@ -82,10 +82,11 @@ external checkValidity: htmlButtonElement => bool = "checkValidity"
 
 ```ReScript
 // Base.res
-type element = Base__Element.element
+module Element = Base__Element
+module Document = Base__Document
 
 // DomTypes.res
-type element = Base.element
+type element = Base.Element.element
 
 // Element.res
 include Impl({type t = DomTypes.element})

docs/superpowers/specs/2026-04-22-unmonorepo-webapi-design.md

@@ -124,7 +124,7 @@ The unified build keeps the original flat module surface instead of adding gener
 - `WebAPI.Headers`
 - `WebAPI.URL`
 
-Shared DOM base types can be owned by `Base` when they are needed across feature boundaries, while `DOM` can keep short public aliases such as `DOM.element`. For example, `Base__Element.element` is exposed through `Base.element`, then reused as `DomTypes.element` and `DOM.element`.
+Shared DOM base types can be owned by `Base` when they are needed across feature boundaries, while `DOM` can keep short public aliases such as `DOM.element`. For example, `Base__Element` is exposed through `Base.Element`, then `Base.Element.element` is reused as `DomTypes.element` and `DOM.element`.
 
 ## Internal Module Naming