Merge pull request #58 from LuxLang/hierarchy_normalization

Hierarchy normalization

3 files changed, 78 insertions, 75 deletions

diff --git a/stdlib/source/program/aedifex/metadata.lux b/stdlib/source/program/aedifex/metadata.lux
index 843f2e056..40a7bd612 100644
--- a/stdlib/source/program/aedifex/metadata.lux
+++ b/stdlib/source/program/aedifex/metadata.lux
@@ -1,12 +1,13 @@
 (.module:
-  [lux #*
-   [data
-    ["." text
-     ["%" format (#+ format)]]]
-   [world
-    [file (#+ Path)]
-    [net
-     ["." uri (#+ URI)]]]]
+  [library
+   [lux #*
+    [data
+     ["." text
+      ["%" format (#+ format)]]]
+    [world
+     [file (#+ Path)]
+     [net
+      ["." uri (#+ URI)]]]]]
   ["." // #_
    ["#." artifact (#+ Artifact)]])
 
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index 50f228e50..0f8a5737c 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -1,37 +1,38 @@
 (.module:
-  [lux (#- Name)
-   [abstract
-    [monad (#+ do)]
-    [equivalence (#+ Equivalence)]]
-   [control
-    [pipe (#+ do>)]
-    ["." try (#+ Try)]
-    ["<>" parser
-     ["<.>" xml (#+ Parser)]
-     ["<.>" text]]
-    [concurrency
-     ["." promise (#+ Promise)]]]
-   [data
-    ["." product]
-    ["." text
-     ["%" format]
-     [encoding
-      ["." utf8]]]
-    [format
-     ["." xml (#+ XML)]]
-    [collection
-     ["." list ("#\." functor)]]]
-   [math
-    [number
-     ["n" nat]]]
-   ["." time (#+ Time)
-    ["." instant (#+ Instant)]
-    ["." date (#+ Date)]
-    ["." year]
-    ["." month]]
-   [world
-    [net
-     ["." uri (#+ URI)]]]]
+  [library
+   [lux (#- Name)
+    [abstract
+     [monad (#+ do)]
+     [equivalence (#+ Equivalence)]]
+    [control
+     [pipe (#+ do>)]
+     ["." try (#+ Try)]
+     ["<>" parser
+      ["<.>" xml (#+ Parser)]
+      ["<.>" text]]
+     [concurrency
+      ["." promise (#+ Promise)]]]
+    [data
+     ["." product]
+     ["." text
+      ["%" format]
+      [encoding
+       ["." utf8]]]
+     [format
+      ["." xml (#+ XML)]]
+     [collection
+      ["." list ("#\." functor)]]]
+    [math
+     [number
+      ["n" nat]]]
+    ["." time (#+ Time)
+     ["." instant (#+ Instant)]
+     ["." date (#+ Date)]
+     ["." year]
+     ["." month]]
+    [world
+     [net
+      ["." uri (#+ URI)]]]]]
   ["." //
    ["/#" // #_
     [repository (#+ Repository)]
diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux
index 41a0d9986..032214c90 100644
--- a/stdlib/source/program/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/program/aedifex/metadata/snapshot.lux
@@ -1,38 +1,39 @@
 (.module:
-  [lux (#- Name Type)
-   [abstract
-    [monad (#+ do)]
-    [equivalence (#+ Equivalence)]]
-   [control
-    [pipe (#+ do> case>)]
-    ["." try (#+ Try)]
-    ["." exception (#+ exception:)]
-    ["<>" parser
-     ["<.>" xml (#+ Parser)]
-     ["<.>" text]]
-    [concurrency
-     ["." promise (#+ Promise)]]]
-   [data
-    ["." product]
-    ["." text
-     ["%" format]
-     [encoding
-      ["." utf8]]]
-    [format
-     ["." xml (#+ XML)]]
-    [collection
-     ["." list ("#\." functor)]]]
-   [math
-    [number
-     ["n" nat]]]
-   ["." time (#+ Time)
-    ["." instant (#+ Instant)]
-    ["." date (#+ Date)]
-    ["." year]
-    ["." month]]
-   [world
-    [net
-     ["." uri (#+ URI)]]]]
+  [library
+   [lux (#- Name Type)
+    [abstract
+     [monad (#+ do)]
+     [equivalence (#+ Equivalence)]]
+    [control
+     [pipe (#+ do> case>)]
+     ["." try (#+ Try)]
+     ["." exception (#+ exception:)]
+     ["<>" parser
+      ["<.>" xml (#+ Parser)]
+      ["<.>" text]]
+     [concurrency
+      ["." promise (#+ Promise)]]]
+    [data
+     ["." product]
+     ["." text
+      ["%" format]
+      [encoding
+       ["." utf8]]]
+     [format
+      ["." xml (#+ XML)]]
+     [collection
+      ["." list ("#\." functor)]]]
+    [math
+     [number
+      ["n" nat]]]
+    ["." time (#+ Time)
+     ["." instant (#+ Instant)]
+     ["." date (#+ Date)]
+     ["." year]
+     ["." month]]
+    [world
+     [net
+      ["." uri (#+ URI)]]]]]
   ["." //
    ["/#" // #_
     [repository (#+ Repository)]