Extensible import syntax: Part 1

11 files changed, 101 insertions, 101 deletions

diff --git a/stdlib/source/program/aedifex/artifact/extension.lux b/stdlib/source/program/aedifex/artifact/extension.lux
index 65d336585..837c536ca 100644
--- a/stdlib/source/program/aedifex/artifact/extension.lux
+++ b/stdlib/source/program/aedifex/artifact/extension.lux
@@ -1,13 +1,13 @@
 (.using
-  [library
-   [lux {"-" type}
-    [data
-     ["[0]" text
-      ["%" format {"+" format}]]]
-    [macro
-     ["[0]" template]]]]
-  ["[0]" // "_"
-   ["[1]" type]])
+ [library
+  [lux {"-" type}
+   [data
+    ["[0]" text
+     ["%" format (.only format)]]]
+   [macro
+    ["[0]" template]]]]
+ ["[0]" // "_"
+  ["[1]" type]])
 
 (type: .public Extension
   Text)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
index db9fa0891..734d48ab8 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -2,18 +2,18 @@
  [library
   [lux {"-" Type}
    [abstract
-    [equivalence {"+" Equivalence}]
-    [monad {"+" do}]]
+    [equivalence (.only Equivalence)]
+    [monad (.only do)]]
    [control
     ["<>" parser
-     ["<[0]>" xml {"+" Parser}]
+     ["<[0]>" xml (.only Parser)]
      ["<[0]>" text]]]
    [data
     ["[0]" sum]
     [format
-     ["[0]" xml {"+" XML}]]]]]
+     ["[0]" xml (.only XML)]]]]]
  ["[0]" / "_"
-  ["[1][0]" stamp {"+" Stamp}]])
+  ["[1][0]" stamp (.only Stamp)]])
 
 (type: .public Snapshot
   (Variant
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
index fbf89fc55..f4b863522 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
@@ -1,21 +1,21 @@
 (.using
-  [library
-   [lux "*"
-    [abstract
-     [equivalence {"+" Equivalence}]
-     [monad {"+" do}]]
-    [control
-     ["<>" parser
-      ["<[0]>" xml {"+" Parser}]
-      ["<[0]>" text]]]
-    [data
-     [text
-      ["%" format]]
-     [format
-      ["[0]" xml {"+" XML}]]]
-    [math
-     [number
-      ["[0]" nat]]]]])
+ [library
+  [lux "*"
+   [abstract
+    [equivalence (.only Equivalence)]
+    [monad (.only do)]]
+   [control
+    ["<>" parser
+     ["<[0]>" xml (.only Parser)]
+     ["<[0]>" text]]]
+   [data
+    [text
+     ["%" format]]
+    [format
+     ["[0]" xml (.only XML)]]]
+   [math
+    [number
+     ["[0]" nat]]]]])
 
 (type: .public Build
   Nat)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index 55a3957a9..21867d58f 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -2,19 +2,19 @@
  [library
   [lux "*"
    [abstract
-    [equivalence {"+" Equivalence}]
-    [monad {"+" do}]]
+    [equivalence (.only Equivalence)]
+    [monad (.only do)]]
    [control
     ["<>" parser
-     ["<[0]>" xml {"+" Parser}]
+     ["<[0]>" xml (.only Parser)]
      ["<[0]>" text]]]
    [data
     ["[0]" product]
     [format
-     ["[0]" xml {"+" XML}]]]]]
+     ["[0]" xml (.only XML)]]]]]
  ["[0]" // "_"
-  ["[1][0]" time {"+" Time}]
-  ["[1][0]" build {"+" Build}]])
+  ["[1][0]" time (.only Time)]
+  ["[1][0]" build (.only Build)]])
 
 (type: .public Stamp
   (Record
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
index 8088c5707..0a3337a56 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
@@ -1,25 +1,25 @@
 (.using
-  [library
-   [lux "*"
-    [abstract
-     [equivalence {"+" Equivalence}]
-     [monad {"+" do}]]
-    [control
-     ["[0]" exception {"+" exception:}]
-     ["<>" parser
-      ["<[0]>" text]
-      ["<[0]>" xml {"+" Parser}]]]
-    [data
-     [text
-      ["%" format]]
-     [format
-      ["[0]" xml {"+" XML}]]]
-    [time
-     ["[0]" instant {"+" Instant}]]]]
-  ["[0]" /// "_"
-   ["[1][0]" time
-    ["[1]/[0]" date]
-    ["[1]/[0]" time]]])
+ [library
+  [lux "*"
+   [abstract
+    [equivalence (.only Equivalence)]
+    [monad (.only do)]]
+   [control
+    ["[0]" exception (.only exception:)]
+    ["<>" parser
+     ["<[0]>" text]
+     ["<[0]>" xml (.only Parser)]]]
+   [data
+    [text
+     ["%" format]]
+    [format
+     ["[0]" xml (.only XML)]]]
+   [time
+    ["[0]" instant (.only Instant)]]]]
+ ["[0]" /// "_"
+  ["[1][0]" time
+   ["[1]/[0]" date]
+   ["[1]/[0]" time]]])
 
 (type: .public Time
   ///time.Time)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
index e5053ed73..e2c677c42 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
@@ -2,20 +2,20 @@
  [library
   [lux {"-" Type}
    [abstract
-    [equivalence {"+" Equivalence}]
-    [monad {"+" do}]]
+    [equivalence (.only Equivalence)]
+    [monad (.only do)]]
    [control
     ["<>" parser
-     ["<[0]>" xml {"+" Parser}]
+     ["<[0]>" xml (.only Parser)]
      ["<[0]>" text]]]
    [data
     ["[0]" product]
     ["[0]" text]
     [format
-     ["[0]" xml {"+" XML}]]]]]
+     ["[0]" xml (.only XML)]]]]]
  ["[0]" /// "_"
-  ["[1][0]" type {"+" Type}]
-  ["[1][0]" time {"+" Time}]])
+  ["[1][0]" type (.only Type)]
+  ["[1][0]" time (.only Time)]])
 
 (type: .public Version
   (Record
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
index 63bed8532..0e64d52ec 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
@@ -2,12 +2,12 @@
  [library
   [lux "*"
    [abstract
-    [equivalence {"+" Equivalence}]]
+    [equivalence (.only Equivalence)]]
    [data
     ["[0]" product]
     ["[0]" text
      ["%" format]]]]]
- ["[0]" /// {"+" Snapshot}
+ ["[0]" /// (.only Snapshot)
   ["[1][0]" time]
   ["[1][0]" stamp]])
 
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux
index efd33ca0a..9f6a123f0 100644
--- a/stdlib/source/program/aedifex/artifact/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time.lux
@@ -1,23 +1,23 @@
 (.using
-  [library
-   [lux "*"
-    ["[0]" time]
-    [abstract
-     [equivalence {"+" Equivalence}]
-     [monad {"+" do}]]
-    [control
-     ["[0]" try {"+" Try}]
-     ["<>" parser
-      ["<[0]>" text {"+" Parser}]]]
-    [data
-     ["[0]" product]
-     [text
-      ["%" format {"+" Format}]]]
-    [time
-     ["[0]" instant {"+" Instant}]]]]
-  ["[0]" / "_"
-   ["[1][0]" date]
-   ["[1][0]" time]])
+ [library
+  [lux "*"
+   ["[0]" time]
+   [abstract
+    [equivalence (.only Equivalence)]
+    [monad (.only do)]]
+   [control
+    ["[0]" try (.only Try)]
+    ["<>" parser
+     ["<[0]>" text (.only Parser)]]]
+   [data
+    ["[0]" product]
+    [text
+     ["%" format (.only Format)]]]
+   [time
+    ["[0]" instant (.only Instant)]]]]
+ ["[0]" / "_"
+  ["[1][0]" date]
+  ["[1][0]" time]])
 
 (type: .public Time
   [/date.Date /time.Time])
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index d3af4c01b..9962b9ade 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -2,13 +2,13 @@
  [library
   [lux "*"
    [abstract
-    [monad {"+" do}]
-    [equivalence {"+" Equivalence}]]
+    [monad (.only do)]
+    [equivalence (.only Equivalence)]]
    [control
-    ["[0]" try {"+" Try}]
-    ["[0]" exception {"+" exception:}]
+    ["[0]" try (.only Try)]
+    ["[0]" exception (.only exception:)]
     ["<>" parser
-     ["<[0]>" text {"+" Parser}]]]
+     ["<[0]>" text (.only Parser)]]]
    [data
     [text
      ["%" format]]]
diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux
index 15ce0e183..00f0bebe8 100644
--- a/stdlib/source/program/aedifex/artifact/time/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time/time.lux
@@ -3,10 +3,10 @@
   [lux "*"
    ["[0]" time]
    [abstract
-    [monad {"+" do}]]
+    [monad (.only do)]]
    [control
     ["<>" parser
-     ["<[0]>" text {"+" Parser}]]]
+     ["<[0]>" text (.only Parser)]]]
    [data
     [text
      ["%" format]]]
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux
index 16789996f..d58f9b2e2 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -2,32 +2,32 @@
  [library
   [lux "*"
    [abstract
-    [equivalence {"+" Equivalence}]
-    [monad {"+" do}]]
+    [equivalence (.only Equivalence)]
+    [monad (.only do)]]
    [control
-    ["[0]" exception {"+" exception:}]
+    ["[0]" exception (.only exception:)]
     ["<>" parser
-     ["<[0]>" xml {"+" Parser}]
+     ["<[0]>" xml (.only Parser)]
      ["<[0]>" text]]]
    [data
     ["[0]" product]
     ["[0]" text
      ["%" format]]
     [format
-     ["[0]" xml {"+" XML}]]
+     ["[0]" xml (.only XML)]]
     [collection
      ["[0]" list ("[1]#[0]" functor)]]]
    [math
     [number
      ["n" nat]]]
-   ["[0]" time {"+" Time}
-    ["[0]" date {"+" Date}]
+   ["[0]" time (.only Time)
+    ["[0]" date (.only Date)]
     ["[0]" year]
     ["[0]" month]]]]
  ["[0]" // "_"
   ["[1][0]" time]
-  ["[1][0]" snapshot {"+" Snapshot}
-   ["[1]/[0]" version {"+" Version}]]])
+  ["[1][0]" snapshot (.only Snapshot)
+   ["[1]/[0]" version (.only Version)]]])
 
 (type: .public Versioning
   (Record