Specs: try to import elements from module.exports as well as module.exports.*

sky/specs/modules.md

Index: sky/specs/modules.md
diff --git a/sky/specs/modules.md b/sky/specs/modules.md
index 4a83f4d519f672ada6fd673cb0b28fe1a0102e24..c223fc94ddb8251d79b2aebb5fb040a6390e0b3d 100644
--- a/sky/specs/modules.md
+++ b/sky/specs/modules.md
@@ -42,10 +42,16 @@ the module is to expose some ``template`` elements.
 
 ### Exporting element definitions ###
 
-When importing a module into another, Sky looks at the properties on
-the imported module's ``exports`` value, and for each property that is
-an element constructor (generated by ``registerElement()``), it adds
-an element to the importee's element registry.
+When importing a module into another, Sky runs the following steps:
+ - let export be the imported module's ``exports`` value
+ - try to import export
+ - if that fails:
+    - try to import each property of export
+
+"Try to import" a value means to run the following steps:
+ - if the value is an element constructor (generated by
+   ``registerElement()``), call this importer module's
+   ``registerElement()`` with the value
 
 ### IDL ###