Merge pull request #58 from LuxLang/hierarchy_normalization

Hierarchy normalization

5 files changed, 77 insertions, 72 deletions

diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index 05560c6c9..93e9096e7 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -1,18 +1,19 @@
 (.module:
-  [lux #*
-   [abstract
-    [monad (#+ do)]]
-   [control
-    [io (#+ IO)]
-    ["." try (#+ Try)]
-    [concurrency
-     ["." promise (#+ Promise)]
-     ["." stm]]]
-   [data
-    [binary (#+ Binary)]]
-   [world
-    [net
-     [uri (#+ URI)]]]])
+  [library
+   [lux #*
+    [abstract
+     [monad (#+ do)]]
+    [control
+     [io (#+ IO)]
+     ["." try (#+ Try)]
+     [concurrency
+      ["." promise (#+ Promise)]
+      ["." stm]]]
+    [data
+     [binary (#+ Binary)]]
+    [world
+     [net
+      [uri (#+ URI)]]]]])
 
 (interface: #export (Repository !)
   (: Text
diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux
index ef7b0c934..dccecf291 100644
--- a/stdlib/source/program/aedifex/repository/identity.lux
+++ b/stdlib/source/program/aedifex/repository/identity.lux
@@ -1,14 +1,15 @@
 (.module:
-  [lux #*
-   ["." ffi (#+ import:)]
-   [abstract
-    [equivalence (#+ Equivalence)]]
-   [data
-    ["." product]
-    ["." text
-     ["%" format (#+ format)]
-     [encoding
-      ["." utf8]]]]])
+  [library
+   [lux #*
+    ["." ffi (#+ import:)]
+    [abstract
+     [equivalence (#+ Equivalence)]]
+    [data
+     ["." product]
+     ["." text
+      ["%" format (#+ format)]
+      [encoding
+       ["." utf8]]]]]])
 
 (type: #export User
   Text)
diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux
index b68425609..e7dbb7d4d 100644
--- a/stdlib/source/program/aedifex/repository/local.lux
+++ b/stdlib/source/program/aedifex/repository/local.lux
@@ -1,19 +1,20 @@
 (.module:
-  [lux #*
-   [abstract
-    [monad (#+ do)]]
-   [control
-    ["." try]
-    [concurrency
-     ["." promise (#+ Promise)]]]
-   [data
-    ["." text
-     ["%" format (#+ format)]]]
-   [world
-    [program (#+ Program)]
-    ["." file]
-    [net
-     ["." uri (#+ URI)]]]]
+  [library
+   [lux #*
+    [abstract
+     [monad (#+ do)]]
+    [control
+     ["." try]
+     [concurrency
+      ["." promise (#+ Promise)]]]
+    [data
+     ["." text
+      ["%" format (#+ format)]]]
+    [world
+     [program (#+ Program)]
+     ["." file]
+     [net
+      ["." uri (#+ URI)]]]]]
   ["." //
    ["/#" // #_
     ["#." local]
diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux
index ca97a8cff..be7d24a6e 100644
--- a/stdlib/source/program/aedifex/repository/origin.lux
+++ b/stdlib/source/program/aedifex/repository/origin.lux
@@ -1,13 +1,14 @@
 (.module:
-  [lux #*
-   [abstract
-    [equivalence (#+ Equivalence)]]
-   [data
-    ["." sum]
-    ["." text]]
-   [world
-    [file (#+ Path)]
-    [net (#+ URL)]]])
+  [library
+   [lux #*
+    [abstract
+     [equivalence (#+ Equivalence)]]
+    [data
+     ["." sum]
+     ["." text]]
+    [world
+     [file (#+ Path)]
+     [net (#+ URL)]]]])
 
 (type: #export Origin
   (#Local Path)
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index 7feaa9710..118085389 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -1,28 +1,29 @@
 (.module:
-  [lux #*
-   [abstract
-    [monad (#+ do)]]
-   [control
-    ["." io (#+ IO)]
-    ["." try (#+ Try)]
-    ["." exception (#+ exception:)]]
-   [data
-    ["." product]
-    [text
-     ["%" format (#+ format)]]]
-   [tool
-    [compiler
-     ["." version]
-     ["." language #_
-      ["#/." lux #_
-       ["#" version]]]]]
-   [world
-    [net (#+ URL)
-     [uri (#+ URI)]
-     ["." http #_
-      ["#" client]
-      ["#/." status]
-      ["@#" /]]]]]
+  [library
+   [lux #*
+    [abstract
+     [monad (#+ do)]]
+    [control
+     ["." io (#+ IO)]
+     ["." try (#+ Try)]
+     ["." exception (#+ exception:)]]
+    [data
+     ["." product]
+     [text
+      ["%" format (#+ format)]]]
+    [tool
+     [compiler
+      ["." version]
+      ["." language #_
+       ["#/." lux #_
+        ["#" version]]]]]
+    [world
+     [net (#+ URL)
+      [uri (#+ URI)]
+      ["." http #_
+       ["#" client]
+       ["#/." status]
+       ["@#" /]]]]]]
   ["." //
    ["#." identity (#+ Identity)]
    ["/#" // #_