Extensible import syntax: Part 1

49 files changed, 438 insertions, 438 deletions

diff --git a/stdlib/source/program/aedifex.lux b/stdlib/source/program/aedifex.lux
index b964e8fef..afebeb2ec 100644
--- a/stdlib/source/program/aedifex.lux
+++ b/stdlib/source/program/aedifex.lux
@@ -1,30 +1,30 @@
 (.using
  [library
   [lux {"-" local}
-   [program {"+" program:}]
+   [program (.only program:)]
    ["[0]" debug]
    [abstract
-    [monad {"+" do}]]
+    [monad (.only do)]]
    [control
-    ["[0]" io {"+" IO}]
+    ["[0]" io (.only IO)]
     ["[0]" maybe]
-    ["[0]" try {"+" Try} ("[1]#[0]" functor)]
-    ["[0]" exception {"+" exception:}]
+    ["[0]" try (.only Try) ("[1]#[0]" functor)]
+    ["[0]" exception (.only exception:)]
     [parser
-     [environment {"+" Environment}]]
+     [environment (.only Environment)]]
     [concurrency
-     ["[0]" async {"+" Async} ("[1]#[0]" monad)]]]
+     ["[0]" async (.only Async) ("[1]#[0]" monad)]]]
    [data
-    [binary {"+" Binary}]
+    [binary (.only Binary)]
     ["[0]" text
-     ["%" format {"+" format}]
+     ["%" format (.only format)]
      [encoding
       ["[0]" utf8]]]
     [format
      ["[0]" xml]]
     [collection
      ["[0]" set]
-     ["[0]" dictionary {"+" Dictionary}]
+     ["[0]" dictionary (.only Dictionary)]
      ["[0]" list ("[1]#[0]" functor)]]]
    [tool
     [compiler
@@ -32,27 +32,27 @@
       [lux
        ["[0]" syntax]]]]]
    [world
-    ["[0]" shell {"+" Exit Shell}]
-    ["[0]" console {"+" Console}]
-    ["[0]" program {"+" Program}]
-    ["[0]" file {"+" Path}
+    ["[0]" shell (.only Exit Shell)]
+    ["[0]" console (.only Console)]
+    ["[0]" program (.only Program)]
+    ["[0]" file (.only Path)
      ["[0]" watch]]
     [net
      ["[0]" http "_"
       ["[1]" client]]]]]]
  ["[0]" / "_"
   ["[1]" profile]
-  ["[1][0]" action {"+" Action}]
-  ["[1][0]" project {"+" Project}]
+  ["[1][0]" action (.only Action)]
+  ["[1][0]" project (.only Project)]
   ["[1][0]" input]
   ["[1][0]" pom]
   ["[1][0]" cli]
   ["[1][0]" dependency "_"
-   ["[1]" resolution {"+" Resolution}]]
-  ["[1][0]" repository {"+" Repository}
-   ["[1]/[0]" remote {"+" Address}]
+   ["[1]" resolution (.only Resolution)]]
+  ["[1][0]" repository (.only Repository)
+   ["[1]/[0]" remote (.only Address)]
    ["[1]/[0]" local]]
-  ["[1][0]" command {"+" Command}
+  ["[1][0]" command (.only Command)
    ["[1]/[0]" version]
    ["[1]/[0]" clean]
    ["[1]/[0]" pom]
diff --git a/stdlib/source/program/aedifex/action.lux b/stdlib/source/program/aedifex/action.lux
index d9e168e9f..451d72cef 100644
--- a/stdlib/source/program/aedifex/action.lux
+++ b/stdlib/source/program/aedifex/action.lux
@@ -2,11 +2,11 @@
  [library
   [lux "*"
    [abstract
-    [monad {"+" Monad}]]
+    [monad (.only Monad)]]
    [control
-    ["[0]" try {"+" Try}]
+    ["[0]" try (.only Try)]
     [concurrency
-     ["[0]" async {"+" Async}]]]]])
+     ["[0]" async (.only Async)]]]]])
 
 (type: .public (Action a)
   (Async (Try a)))
diff --git a/stdlib/source/program/aedifex/artifact.lux b/stdlib/source/program/aedifex/artifact.lux
index 4d3d9cc87..32e37e293 100644
--- a/stdlib/source/program/aedifex/artifact.lux
+++ b/stdlib/source/program/aedifex/artifact.lux
@@ -2,19 +2,19 @@
  [library
   [lux {"-" local}
    [abstract
-    [equivalence {"+" Equivalence}]
-    [order {"+" Order}]
-    [hash {"+" Hash}]]
+    [equivalence (.only Equivalence)]
+    [order (.only Order)]
+    [hash (.only Hash)]]
    [data
     ["[0]" product]
     ["[0]" text ("[1]#[0]" order)
-     ["%" format {"+" Format}]]
+     ["%" format (.only Format)]]
     [collection
      ["[0]" list ("[1]#[0]" monoid)]]]
    [world
-    ["[0]" file {"+" Path}]
+    ["[0]" file (.only Path)]
     [net
-     ["[0]" uri {"+" URI}]]]]])
+     ["[0]" uri (.only URI)]]]]])
 
 (type: .public Group
   Text)
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
diff --git a/stdlib/source/program/aedifex/cli.lux b/stdlib/source/program/aedifex/cli.lux
index 135aa0c15..dca35ac86 100644
--- a/stdlib/source/program/aedifex/cli.lux
+++ b/stdlib/source/program/aedifex/cli.lux
@@ -2,19 +2,19 @@
  [library
   [lux "*"
    [abstract
-    [equivalence {"+" Equivalence}]
-    [monad {"+" do}]]
+    [equivalence (.only Equivalence)]
+    [monad (.only do)]]
    [control
     ["<>" parser
-     ["[0]" cli {"+" Parser}]]]
+     ["[0]" cli (.only Parser)]]]
    [data
     ["[0]" sum]
     ["[0]" product]
     ["[0]" text]]]]
  [//
   [repository
-   [identity {"+" Identity}]]
-  ["/" profile {"+" Name}]])
+   [identity (.only Identity)]]
+  ["/" profile (.only Name)]])
 
 (type: .public Compilation
   (Variant
diff --git a/stdlib/source/program/aedifex/command.lux b/stdlib/source/program/aedifex/command.lux
index 89b03c25d..5cca59ce3 100644
--- a/stdlib/source/program/aedifex/command.lux
+++ b/stdlib/source/program/aedifex/command.lux
@@ -1,9 +1,9 @@
 (.using
-  [library
-   [lux "*"]]
-  ["[0]" // "_"
-   ["[1]" profile]
-   ["[1][0]" action {"+" Action}]])
+ [library
+  [lux "*"]]
+ ["[0]" // "_"
+  ["[1]" profile]
+  ["[1][0]" action (.only Action)]])
 
 (type: .public (Command a)
   (-> //.Profile (Action a)))
diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux
index 7ae0c53d3..56cf050a6 100644
--- a/stdlib/source/program/aedifex/command/auto.lux
+++ b/stdlib/source/program/aedifex/command/auto.lux
@@ -2,28 +2,28 @@
  [library
   [lux "*"
    [abstract
-    ["[0]" monad {"+" do}]]
+    ["[0]" monad (.only do)]]
    [control
-    ["[0]" try {"+" Try}]
+    ["[0]" try (.only Try)]
     [concurrency
-     ["[0]" async {"+" Async}]]]
+     ["[0]" async (.only Async)]]]
    [data
     [collection
      ["[0]" list]
      ["[0]" set]]]
    [world
-    [program {"+" Program}]
-    [shell {"+" Exit Shell}]
-    [console {"+" Console}]
+    [program (.only Program)]
+    [shell (.only Exit Shell)]
+    [console (.only Console)]
     ["[0]" file
-     ["[0]" watch {"+" Watcher}]]]]]
+     ["[0]" watch (.only Watcher)]]]]]
  ["[0]" // "_"
   ["/[1]" // "_"
-   [command {"+" Command}]
+   [command (.only Command)]
    ["[1]" profile]
    ["[1][0]" action]
    [dependency
-    [resolution {"+" Resolution}]]]])
+    [resolution (.only Resolution)]]]])
 
 (def: (targets fs path)
   (-> (file.System Async) file.Path (Async (List file.Path)))
diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux
index 71eee1347..ecee82fe1 100644
--- a/stdlib/source/program/aedifex/command/build.lux
+++ b/stdlib/source/program/aedifex/command/build.lux
@@ -1,28 +1,28 @@
 (.using
  [library
   [lux {"-" Lux}
-   ["[0]" ffi {"+" import:}]
+   ["[0]" ffi (.only import:)]
    [abstract
-    [order {"+" Order}]
-    [monad {"+" do}]]
+    [order (.only Order)]
+    [monad (.only do)]]
    [control
-    ["[0]" try {"+" Try} ("[1]#[0]" functor)]
-    ["[0]" exception {"+" exception:}]
-    ["[0]" io {"+" IO}]
+    ["[0]" try (.only Try) ("[1]#[0]" functor)]
+    ["[0]" exception (.only exception:)]
+    ["[0]" io (.only IO)]
     [concurrency
-     ["[0]" async {"+" Async} ("[1]#[0]" monad)]]]
+     ["[0]" async (.only Async) ("[1]#[0]" monad)]]]
    [data
     ["[0]" product]
     ["[0]" text ("[1]#[0]" order)
-     ["%" format {"+" format}]]
+     ["%" format (.only format)]]
     [collection
      ["[0]" list ("[1]#[0]" functor mix)]
-     ["[0]" dictionary {"+" Dictionary}]
+     ["[0]" dictionary (.only Dictionary)]
      ["[0]" set]]]
    [macro
     ["^" pattern]]
    [math
-    [number {"+" hex}
+    [number (.only hex)
      ["n" nat]
      ["i" int]]]
    [meta
@@ -35,22 +35,22 @@
       ["[0]" packager
        ["[0]_[1]" ruby]]]]]
    [world
-    ["[0]" program {"+" Program}]
-    ["[0]" file {"+" Path}]
-    ["[0]" shell {"+" Exit Process Shell}]
-    ["[0]" console {"+" Console}]
+    ["[0]" program (.only Program)]
+    ["[0]" file (.only Path)]
+    ["[0]" shell (.only Exit Process Shell)]
+    ["[0]" console (.only Console)]
     [net
      ["[0]" uri]]]]]
  ["[0]" /// "_"
   ["[1]" profile]
   ["[1][0]" action]
-  ["[1][0]" command {"+" Command}]
+  ["[1][0]" command (.only Command)]
   ["[1][0]" local]
   ["[1][0]" repository]
   ["[1][0]" runtime]
-  ["[1][0]" dependency {"+" Dependency}
-   ["[1]/[0]" resolution {"+" Resolution}]]
-  ["[1][0]" artifact {"+" Group Name Version Artifact}
+  ["[1][0]" dependency (.only Dependency)
+   ["[1]/[0]" resolution (.only Resolution)]]
+  ["[1][0]" artifact (.only Group Name Version Artifact)
    ["[1]/[0]" type]]])
 
 (type: Finder
diff --git a/stdlib/source/program/aedifex/command/clean.lux b/stdlib/source/program/aedifex/command/clean.lux
index 98f1461a8..e398b7bd2 100644
--- a/stdlib/source/program/aedifex/command/clean.lux
+++ b/stdlib/source/program/aedifex/command/clean.lux
@@ -2,21 +2,21 @@
  [library
   [lux "*"
    [abstract
-    ["[0]" monad {"+" do}]]
+    ["[0]" monad (.only do)]]
    [control
-    [try {"+" Try}]
+    [try (.only Try)]
     [concurrency
-     ["[0]" async {"+" Async}]]]
+     ["[0]" async (.only Async)]]]
    [data
     [text
-     ["%" format {"+" format}]]]
+     ["%" format (.only format)]]]
    [world
-    ["[0]" file {"+" Path}]
-    ["[0]" console {"+" Console}]]]]
+    ["[0]" file (.only Path)]
+    ["[0]" console (.only Console)]]]]
  ["[0]" /// "_"
-  [command {"+" Command}]
+  [command (.only Command)]
   ["[1]" profile]
-  ["[1][0]" action {"+" Action}]])
+  ["[1][0]" action (.only Action)]])
 
 (def: (clean_files! fs root)
   (-> (file.System Async) Path (Async (Try Any)))
diff --git a/stdlib/source/program/aedifex/command/deploy.lux b/stdlib/source/program/aedifex/command/deploy.lux
index 504a9206f..39e1c9815 100644
--- a/stdlib/source/program/aedifex/command/deploy.lux
+++ b/stdlib/source/program/aedifex/command/deploy.lux
@@ -2,24 +2,24 @@
  [library
   [lux "*"
    [abstract
-    [monad {"+" do}]]
+    [monad (.only do)]]
    [control
-    [try {"+" Try}]
+    [try (.only Try)]
     [concurrency
-     [async {"+" Async}]]]
+     [async (.only Async)]]]
    [world
-    [program {"+" Program}]
-    [shell {"+" Shell}]
+    [program (.only Program)]
+    [shell (.only Shell)]
     ["[0]" file]
-    ["[0]" console {"+" Console}]]]]
+    ["[0]" console (.only Console)]]]]
  ["[0]" / "_"
   ["[1][0]" snapshot]
   ["[1][0]" release]
   ["/[1]" // "_"
    ["/[1]" // "_"
-    [command {"+" Command}]
-    [repository {"+" Repository}]
-    [artifact {"+" Artifact}]
+    [command (.only Command)]
+    [repository (.only Repository)]
+    [artifact (.only Artifact)]
     ["/" profile]
     ["[1][0]" action]]]])
 
diff --git a/stdlib/source/program/aedifex/command/deploy/release.lux b/stdlib/source/program/aedifex/command/deploy/release.lux
index b8b6e2531..51f07d66a 100644
--- a/stdlib/source/program/aedifex/command/deploy/release.lux
+++ b/stdlib/source/program/aedifex/command/deploy/release.lux
@@ -1,20 +1,20 @@
 (.using
  [library
   [lux "*"
-   ["[0]" ffi {"+" import:}]
+   ["[0]" ffi (.only import:)]
    [abstract
-    [predicate {"+" Predicate}]
-    ["[0]" monad {"+" do}]]
+    [predicate (.only Predicate)]
+    ["[0]" monad (.only do)]]
    [control
     ["[0]" pipe]
-    ["[0]" try {"+" Try}]
-    ["[0]" io {"+" IO}]
+    ["[0]" try (.only Try)]
+    ["[0]" io (.only IO)]
     [concurrency
-     ["[0]" async {"+" Async}]]
+     ["[0]" async (.only Async)]]
     [parser
      ["[0]" environment]]]
    [data
-    ["[0]" binary {"+" Binary}]
+    ["[0]" binary (.only Binary)]
     ["[0]" text
      ["%" format]
      [encoding
@@ -35,16 +35,16 @@
       ["[0]" packager "_"
        ["[1]" jvm]]]]]
    [world
-    [program {"+" Program}]
-    [console {"+" Console}]
-    ["[0]" shell {"+" Shell}]
+    [program (.only Program)]
+    [console (.only Console)]
+    ["[0]" shell (.only Shell)]
     ["[0]" file]]]]
  ["[0]" // "_"
   ["[1][0]" snapshot]
   ["/[1]" // "_"
    ["[1][0]" install]
    ["/[1]" // "_"
-    [command {"+" Command}]
+    [command (.only Command)]
     ["/" profile]
     ["[1][0]" action]
     ["[1][0]" pom]
@@ -53,12 +53,12 @@
     ["[1][0]" dependency "_"
      ["[1]/[0]" deployment]
      ["[1]/[0]" status]]
-    ["[1][0]" repository {"+" Repository}
+    ["[1][0]" repository (.only Repository)
      ["[1]/[0]" origin]
      ["[1]/[0]" local]]
-    ["[1][0]" artifact {"+" Artifact}
+    ["[1][0]" artifact (.only Artifact)
      ["[1]/[0]" type]
-     ["[1]/[0]" extension {"+" Extension}]]]]])
+     ["[1]/[0]" extension (.only Extension)]]]]])
 
 (import: java/lang/String
   "[1]::[0]"
diff --git a/stdlib/source/program/aedifex/command/deploy/snapshot.lux b/stdlib/source/program/aedifex/command/deploy/snapshot.lux
index fa69e8311..dc165a8ad 100644
--- a/stdlib/source/program/aedifex/command/deploy/snapshot.lux
+++ b/stdlib/source/program/aedifex/command/deploy/snapshot.lux
@@ -2,11 +2,11 @@
  [library
   [lux "*"
    [abstract
-    [monad {"+" do}]
-    [predicate {"+" Predicate}]]
+    [monad (.only do)]
+    [predicate (.only Predicate)]]
    [control
     [concurrency
-     ["[0]" async {"+" Async}]]]
+     ["[0]" async (.only Async)]]]
    [data
     ["[0]" text
      [encoding
@@ -22,10 +22,10 @@
      [meta
       ["[0]" export]]]]
    [world
-    [console {"+" Console}]
+    [console (.only Console)]
     ["[0]" file]]]]
  ["[0]" //// "_"
-  [command {"+" Command}]
+  [command (.only Command)]
   ["/" profile]
   ["[1][0]" action]
   ["[1][0]" pom]
@@ -33,9 +33,9 @@
   ["[1][0]" dependency "_"
    ["[1]/[0]" deployment]
    ["[1]/[0]" status]]
-  ["[1][0]" repository {"+" Repository}
+  ["[1][0]" repository (.only Repository)
    ["[1]/[0]" origin]]
-  ["[1][0]" artifact {"+" Artifact}
+  ["[1][0]" artifact (.only Artifact)
    ["[1]/[0]" type]]])
 
 (def: .public snapshot?
diff --git a/stdlib/source/program/aedifex/command/deps.lux b/stdlib/source/program/aedifex/command/deps.lux
index b6d07d986..f4c9591ce 100644
--- a/stdlib/source/program/aedifex/command/deps.lux
+++ b/stdlib/source/program/aedifex/command/deps.lux
@@ -2,33 +2,33 @@
  [library
   [lux "*"
    [abstract
-    [monad {"+" do}]]
+    [monad (.only do)]]
    [control
     ["[0]" exception]
     [concurrency
-     ["[0]" async {"+" Async}]]]
+     ["[0]" async (.only Async)]]]
    [data
     [collection
-     ["[0]" set {"+" Set}]
+     ["[0]" set (.only Set)]
      ["[0]" list ("[1]#[0]" mix)]
      ["[0]" dictionary]]
     [text
      ["%" format]]]
    [world
-    [net {"+" URL}]
-    [program {"+" Program}]
+    [net (.only URL)]
+    [program (.only Program)]
     ["[0]" file]
-    ["[0]" console {"+" Console}]]]]
+    ["[0]" console (.only Console)]]]]
  ["[0]" // "_"
   ["[1][0]" clean]
   ["/[1]" // "_"
-   [command {"+" Command}]
-   [repository {"+" Repository}]
+   [command (.only Command)]
+   [repository (.only Repository)]
    ["[1]" profile]
-   ["[1][0]" action {"+" Action}]
-   ["[1][0]" artifact {"+" Artifact}]
-   ["[1][0]" dependency {"+" Dependency}
-    ["[1]/[0]" resolution {"+" Resolution}]
+   ["[1][0]" action (.only Action)]
+   ["[1][0]" artifact (.only Artifact)]
+   ["[1][0]" dependency (.only Dependency)
+    ["[1]/[0]" resolution (.only Resolution)]
     ["[1]/[0]" deployment]]]])
 
 (def: format
diff --git a/stdlib/source/program/aedifex/command/install.lux b/stdlib/source/program/aedifex/command/install.lux
index aced7165c..fee072b18 100644
--- a/stdlib/source/program/aedifex/command/install.lux
+++ b/stdlib/source/program/aedifex/command/install.lux
@@ -2,14 +2,14 @@
  [library
   [lux "*"
    [abstract
-    [monad {"+" do}]]
+    [monad (.only do)]]
    [control
-    ["[0]" try {"+" Try}]
+    ["[0]" try (.only Try)]
     ["[0]" exception]
     [concurrency
-     ["[0]" async {"+" Async}]]]
+     ["[0]" async (.only Async)]]]
    [data
-    [binary {"+" Binary}]
+    [binary (.only Binary)]
     [text
      [encoding
       ["[0]" utf8]]]
@@ -24,24 +24,24 @@
      [meta
       ["[0]" export]]]]
    [world
-    [program {"+" Program}]
+    [program (.only Program)]
     ["[0]" file]
-    ["[0]" console {"+" Console}]]]]
+    ["[0]" console (.only Console)]]]]
  ["[0]" // "_"
   ["[1][0]" clean]
   ["/[1]" // "_"
-   ["/" profile {"+" Profile}]
-   ["[1][0]" action {"+" Action}]
-   ["[1][0]" command {"+" Command}]
+   ["/" profile (.only Profile)]
+   ["[1][0]" action (.only Action)]
+   ["[1][0]" command (.only Command)]
    ["[1][0]" local]
    ["[1][0]" pom]
    ["[1][0]" package]
-   [repository {"+" Repository}
+   [repository (.only Repository)
     ["[1][0]" origin]]
    ["[1][0]" dependency "_"
     ["[1]/[0]" deployment]
     ["[1]/[0]" status]]
-   ["[1][0]" artifact {"+" Artifact}
+   ["[1][0]" artifact (.only Artifact)
     ["[1]/[0]" type]]]])
 
 (def: .public success
diff --git a/stdlib/source/program/aedifex/command/pom.lux b/stdlib/source/program/aedifex/command/pom.lux
index 23c25e7e1..3b443a178 100644
--- a/stdlib/source/program/aedifex/command/pom.lux
+++ b/stdlib/source/program/aedifex/command/pom.lux
@@ -2,23 +2,23 @@
  [library
   [lux "*"
    [abstract
-    [monad {"+" do}]]
+    [monad (.only do)]]
    [control
-    ["[0]" try {"+" Try} ("[1]#[0]" functor)]
+    ["[0]" try (.only Try) ("[1]#[0]" functor)]
     [concurrency
-     ["[0]" async {"+" Async} ("[1]#[0]" monad)]]]
+     ["[0]" async (.only Async) ("[1]#[0]" monad)]]]
    [data
     [text
-     ["%" format {"+" format}]
+     ["%" format (.only format)]
      [encoding
       ["[0]" utf8]]]
     [format
      ["[0]" xml]]]
    [world
     ["[0]" file]
-    ["[0]" console {"+" Console}]]]]
+    ["[0]" console (.only Console)]]]]
  ["[0]" /// "_"
-  [command {"+" Command}]
+  [command (.only Command)]
   ["[1][0]" action]
   ["[1][0]" pom]])
 
diff --git a/stdlib/source/program/aedifex/command/test.lux b/stdlib/source/program/aedifex/command/test.lux
index 1d4da3262..44cdbc1ed 100644
--- a/stdlib/source/program/aedifex/command/test.lux
+++ b/stdlib/source/program/aedifex/command/test.lux
@@ -2,11 +2,11 @@
  [library
   [lux "*"
    [abstract
-    [monad {"+" do}]]
+    [monad (.only do)]]
    [control
-    [try {"+" Try}]
+    [try (.only Try)]
     [concurrency
-     ["[0]" async {"+" Async} ("[1]#[0]" monad)]]]
+     ["[0]" async (.only Async) ("[1]#[0]" monad)]]]
    [data
     [collection
      ["[0]" dictionary]]]
@@ -16,19 +16,19 @@
     [number
      ["i" int]]]
    [world
-    ["[0]" program {"+" Program}]
+    ["[0]" program (.only Program)]
     ["[0]" file]
-    ["[0]" shell {"+" Exit Shell}]
-    ["[0]" console {"+" Console}]]]]
+    ["[0]" shell (.only Exit Shell)]
+    ["[0]" console (.only Console)]]]]
  ["[0]" // "_"
   ["[1][0]" build]
   ["/[1]" // "_"
    ["[1]" profile]
    ["[1][0]" action]
-   ["[1][0]" command {"+" Command}]
+   ["[1][0]" command (.only Command)]
    ["[1][0]" runtime]
    [dependency
-    [resolution {"+" Resolution}]]]])
+    [resolution (.only Resolution)]]]])
 
 (def: .public start "[TEST STARTED]")
 (def: .public success "[TEST ENDED]")
diff --git a/stdlib/source/program/aedifex/command/version.lux b/stdlib/source/program/aedifex/command/version.lux
index 9c40edd97..7725dcbc2 100644
--- a/stdlib/source/program/aedifex/command/version.lux
+++ b/stdlib/source/program/aedifex/command/version.lux
@@ -2,18 +2,18 @@
  [library
   [lux "*"
    [control
-    [try {"+" Try}]
+    [try (.only Try)]
     [concurrency
-     ["[0]" async {"+" Async}]]]
+     ["[0]" async (.only Async)]]]
    ["[0]" meta "_"
     ["[1]/[0]" version]]
    [tool
     [compiler
      ["[0]" version]]]
    [world
-    ["[0]" console {"+" Console}]]]]
+    ["[0]" console (.only Console)]]]]
  [///
-  [command {"+" Command}]])
+  [command (.only Command)]])
 
 (def: .public (do! console profile)
   (-> (Console Async) (Command Any))
diff --git a/stdlib/source/program/aedifex/dependency.lux b/stdlib/source/program/aedifex/dependency.lux
index edeccc15f..fd5e08bee 100644
--- a/stdlib/source/program/aedifex/dependency.lux
+++ b/stdlib/source/program/aedifex/dependency.lux
@@ -2,16 +2,16 @@
  [library
   [lux {"-" Type}
    [abstract
-    [equivalence {"+" Equivalence}]
-    [order {"+" Order}]
-    [hash {"+" Hash}]]
+    [equivalence (.only Equivalence)]
+    [order (.only Order)]
+    [hash (.only Hash)]]
    [data
     ["[0]" product]
     ["[0]" text ("[1]#[0]" order)
-     ["%" format {"+" format}]]]]]
+     ["%" format (.only format)]]]]]
  ["[0]" // "_"
-  ["[1]" artifact {"+" Artifact} ("[1]#[0]" order)
-   [type {"+" Type}]]])
+  ["[1]" artifact (.only Artifact) ("[1]#[0]" order)
+   [type (.only Type)]]])
 
 (type: .public Dependency
   (Record
diff --git a/stdlib/source/program/aedifex/dependency/deployment.lux b/stdlib/source/program/aedifex/dependency/deployment.lux
index c4adf703b..dd4242192 100644
--- a/stdlib/source/program/aedifex/dependency/deployment.lux
+++ b/stdlib/source/program/aedifex/dependency/deployment.lux
@@ -2,43 +2,43 @@
  [library
   [lux {"-" all}
    [abstract
-    [codec {"+" Codec}]
-    ["[0]" monad {"+" do}]]
+    [codec (.only Codec)]
+    ["[0]" monad (.only do)]]
    [control
-    ["[0]" try {"+" Try}]
+    ["[0]" try (.only Try)]
     [concurrency
-     ["[0]" async {"+" Async}]]]
+     ["[0]" async (.only Async)]]]
    [data
-    [binary {"+" Binary}]
+    [binary (.only Binary)]
     ["[0]" product]
     [text
-     ["%" format {"+" format}]
+     ["%" format (.only format)]
      [encoding
       ["[0]" utf8]]]
     [collection
      ["[0]" dictionary]
-     ["[0]" set {"+" Set}]
+     ["[0]" set (.only Set)]
      ["[0]" list ("[1]#[0]" monoid)]]]
    [time
-    ["[0]" instant {"+" Instant}]]]]
+    ["[0]" instant (.only Instant)]]]]
  ["[0]" /// "_"
-  [repository {"+" Repository}]
-  ["[1][0]" hash {"+" Hash}]
-  ["[1][0]" package {"+" Package}]
-  ["[1][0]" artifact {"+" Artifact}
+  [repository (.only Repository)]
+  ["[1][0]" hash (.only Hash)]
+  ["[1][0]" package (.only Package)]
+  ["[1][0]" artifact (.only Artifact)
    ["[1]/[0]" time]
    ["[1]/[0]" type]
-   ["[1]/[0]" extension {"+" Extension}]
+   ["[1]/[0]" extension (.only Extension)]
    ["[1]/[0]" versioning]
    ["[1]/[0]" snapshot
     ["[1]/[0]" version
      ["[1]/[0]" value]]]]
   ["[1][0]" metadata "_"
    ["[1]/[0]" artifact]
-   ["[1]/[0]" snapshot {"+" Metadata}]]
-  ["[1][0]" dependency {"+" Dependency}
-   [resolution {"+" Resolution}]
-   ["[1]/[0]" status {"+" Status}]]])
+   ["[1]/[0]" snapshot (.only Metadata)]]
+  ["[1][0]" dependency (.only Dependency)
+   [resolution (.only Resolution)]
+   ["[1]/[0]" status (.only Status)]]])
 
 (def: (with_status repository version_template [artifact type] [data status])
   (-> (Repository Async) ///artifact.Version Dependency [Binary Status] (Async (Try Any)))
diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux
index 753c7d4a4..0e1e9d291 100644
--- a/stdlib/source/program/aedifex/dependency/resolution.lux
+++ b/stdlib/source/program/aedifex/dependency/resolution.lux
@@ -3,30 +3,30 @@
   [lux {"-" all}
    ["@" target]
    ["[0]" debug]
-   ["[0]" ffi {"+" import:}]
+   ["[0]" ffi (.only import:)]
    [abstract
-    [codec {"+" Codec}]
-    [equivalence {"+" Equivalence}]
-    [monad {"+" do}]
-    ["[0]" predicate {"+" Predicate}]]
+    [codec (.only Codec)]
+    [equivalence (.only Equivalence)]
+    [monad (.only do)]
+    ["[0]" predicate (.only Predicate)]]
    [control
     ["[0]" maybe]
-    ["[0]" try {"+" Try} ("[1]#[0]" functor)]
-    ["[0]" exception {"+" Exception exception:}]
+    ["[0]" try (.only Try) ("[1]#[0]" functor)]
+    ["[0]" exception (.only Exception exception:)]
     ["<>" parser
-     ["<[0]>" xml {"+" Parser}]]
+     ["<[0]>" xml (.only Parser)]]
     [concurrency
-     ["[0]" async {"+" Async}]]]
+     ["[0]" async (.only Async)]]]
    [data
-    ["[0]" binary {"+" Binary}]
+    ["[0]" binary (.only Binary)]
     ["[0]" text
-     ["%" format {"+" format}]
+     ["%" format (.only format)]
      [encoding
       ["[0]" utf8]]]
     [format
-     ["[0]" xml {"+" Tag XML}]]
+     ["[0]" xml (.only Tag XML)]]
     [collection
-     ["[0]" dictionary {"+" Dictionary}]
+     ["[0]" dictionary (.only Dictionary)]
      ["[0]" set]
      ["[0]" list ("[1]#[0]" functor monoid)]]]
    [math
@@ -34,27 +34,27 @@
      ["n" nat]
      ["[0]" i64]]]
    [world
-    [console {"+" Console}]
-    [net {"+" URL}
+    [console (.only Console)]
+    [net (.only URL)
      ["[0]" uri]
      ["[0]" http "_"
       ["[1]" client]]]]]]
- ["[0]" // {"+" Dependency}
-  ["[1][0]" status {"+" Status}]
+ ["[0]" // (.only Dependency)
+  ["[1][0]" status (.only Status)]
   ["/[1]" // "_"
    ["/" profile]
-   ["[1][0]" hash {"+" Hash SHA-1 MD5}]
+   ["[1][0]" hash (.only Hash SHA-1 MD5)]
    ["[1][0]" pom]
-   ["[1][0]" package {"+" Package}]
-   ["[1][0]" artifact {"+" Version Artifact}
-    ["[1]/[0]" extension {"+" Extension}]
+   ["[1][0]" package (.only Package)]
+   ["[1][0]" artifact (.only Version Artifact)
+    ["[1]/[0]" extension (.only Extension)]
     ["[1]/[0]" versioning]
     ["[0]" snapshot
      [version
       ["[0]" value]]]]
-   ["[1][0]" repository {"+" Repository}
-    ["[1]/[0]" remote {"+" Address}]
-    ["[1]/[0]" origin {"+" Origin}]]
+   ["[1][0]" repository (.only Repository)
+    ["[1]/[0]" remote (.only Address)]
+    ["[1]/[0]" origin (.only Origin)]]
    ["[1][0]" metadata
     ["[1]/[0]" snapshot]]]])
 
diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux
index 7c66d0688..2d2bb0f3c 100644
--- a/stdlib/source/program/aedifex/dependency/status.lux
+++ b/stdlib/source/program/aedifex/dependency/status.lux
@@ -2,13 +2,13 @@
  [library
   [lux "*"
    [abstract
-    [equivalence {"+" Equivalence}]]
+    [equivalence (.only Equivalence)]]
    [data
-    [binary {"+" Binary}]
+    [binary (.only Binary)]
     ["[0]" sum]
     ["[0]" product]]]]
  ["[0]" /// "_"
-  ["[1][0]" hash {"+" Hash SHA-1 MD5}]])
+  ["[1][0]" hash (.only Hash SHA-1 MD5)]])
 
 (type: .public Status
   (Variant
diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux
index 12f676cc7..c48380af2 100644
--- a/stdlib/source/program/aedifex/format.lux
+++ b/stdlib/source/program/aedifex/format.lux
@@ -4,9 +4,9 @@
    [data
     ["[0]" text ("[1]#[0]" equivalence)]
     [collection
-     ["[0]" dictionary {"+" Dictionary}]
+     ["[0]" dictionary (.only Dictionary)]
      ["[0]" list ("[1]#[0]" monad)]
-     ["[0]" set {"+" Set}]]]
+     ["[0]" set (.only Set)]]]
    [macro
     ["[0]" code]
     ["[0]" template]]
@@ -14,13 +14,13 @@
     [compiler
      [meta
       [cli
-       [compiler {"+" Compiler}]]]]]]]
+       [compiler (.only Compiler)]]]]]]]
  ["[0]" // "_"
   ["/" profile]
-  ["[1][0]" runtime {"+" Runtime}]
-  ["[1][0]" project {"+" Project}]
-  ["[1][0]" dependency {"+" Dependency}]
-  ["[1][0]" artifact {"+" Artifact}
+  ["[1][0]" runtime (.only Runtime)]
+  ["[1][0]" project (.only Project)]
+  ["[1][0]" dependency (.only Dependency)]
+  ["[1][0]" artifact (.only Artifact)
    ["[1]/[0]" type]]])
 
 (type: .public (Format a)
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index bd78f8fe3..3a7b82ef8 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -1,18 +1,18 @@
 (.using
  [library
   [lux "*"
-   ["[0]" ffi {"+" import:}]
+   ["[0]" ffi (.only import:)]
    [abstract
-    [codec {"+" Codec}]
-    [equivalence {"+" Equivalence}]
-    [monad {"+" do}]]
+    [codec (.only Codec)]
+    [equivalence (.only Equivalence)]
+    [monad (.only do)]]
    [control
-    ["[0]" try {"+" Try}]
-    ["[0]" exception {"+" exception:}]]
+    ["[0]" try (.only Try)]
+    ["[0]" exception (.only exception:)]]
    [data
-    ["[0]" binary {"+" Binary}]
+    ["[0]" binary (.only Binary)]
     ["[0]" text
-     ["%" format {"+" Format format}]
+     ["%" format (.only Format format)]
      ["[0]" encoding]]]
    [macro
     ["^" pattern]]
diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux
index e15fc6552..c964c6cf0 100644
--- a/stdlib/source/program/aedifex/input.lux
+++ b/stdlib/source/program/aedifex/input.lux
@@ -2,15 +2,15 @@
  [library
   [lux "*"
    [abstract
-    ["[0]" monad {"+" Monad do}]
+    ["[0]" monad (.only Monad do)]
     ["[0]" mix]]
    [control
     ["[0]" pipe]
-    ["[0]" try {"+" Try}]
+    ["[0]" try (.only Try)]
     [parser
      ["<[0]>" code]]]
    [data
-    [binary {"+" Binary}]
+    [binary (.only Binary)]
     ["[0]" text
      [encoding
       ["[0]" utf8]]]
@@ -26,8 +26,8 @@
    [world
     ["[0]" file]]]]
  ["[0]" // "_"
-  ["[1][0]" profile {"+" Name Profile}]
-  ["[1][0]" project {"+" Project}]
+  ["[1][0]" profile (.only Name Profile)]
+  ["[1][0]" project (.only Project)]
   ["[1][0]" parser]])
 
 (def: (lux_parser source_code)
diff --git a/stdlib/source/program/aedifex/local.lux b/stdlib/source/program/aedifex/local.lux
index 9eb567570..13bfcfe7a 100644
--- a/stdlib/source/program/aedifex/local.lux
+++ b/stdlib/source/program/aedifex/local.lux
@@ -1,14 +1,14 @@
 (.using
-  [library
-   [lux "*"
-    [data
-     [text
-      ["%" format {"+" format}]]]
-    [world
-     [net
-      ["[0]" uri {"+" URI}]]]]]
-  ["[0]" // "_"
-   ["[1][0]" artifact {"+" Version Artifact}]])
+ [library
+  [lux "*"
+   [data
+    [text
+     ["%" format (.only format)]]]
+   [world
+    [net
+     ["[0]" uri (.only URI)]]]]]
+ ["[0]" // "_"
+  ["[1][0]" artifact (.only Version Artifact)]])
 
 (def: / uri.separator)
 
diff --git a/stdlib/source/program/aedifex/metadata.lux b/stdlib/source/program/aedifex/metadata.lux
index be3e17b55..67a8e58ed 100644
--- a/stdlib/source/program/aedifex/metadata.lux
+++ b/stdlib/source/program/aedifex/metadata.lux
@@ -3,13 +3,13 @@
   [lux "*"
    [data
     ["[0]" text
-     ["%" format {"+" format}]]]
+     ["%" format (.only format)]]]
    [world
-    [file {"+" Path}]
+    [file (.only Path)]
     [net
-     ["[0]" uri {"+" URI}]]]]]
+     ["[0]" uri (.only URI)]]]]]
  ["[0]" // "_"
-  ["[1][0]" artifact {"+" Artifact}]])
+  ["[1][0]" artifact (.only Artifact)]])
 
 (def: remote_file
   Path
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index 285e1c980..78290aa3c 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -2,16 +2,16 @@
  [library
   [lux "*"
    [abstract
-    [monad {"+" do}]
-    [equivalence {"+" Equivalence}]]
+    [monad (.only do)]
+    [equivalence (.only Equivalence)]]
    [control
     ["[0]" pipe]
-    ["[0]" try {"+" Try}]
+    ["[0]" try (.only Try)]
     ["<>" parser
-     ["<[0]>" xml {"+" Parser}]
+     ["<[0]>" xml (.only Parser)]
      ["<[0]>" text]]
     [concurrency
-     ["[0]" async {"+" Async}]]]
+     ["[0]" async (.only Async)]]]
    [data
     ["[0]" product]
     ["[0]" text
@@ -19,24 +19,24 @@
      [encoding
       ["[0]" utf8]]]
     [format
-     ["[0]" xml {"+" XML}]]
+     ["[0]" xml (.only XML)]]
     [collection
      ["[0]" list ("[1]#[0]" functor)]]]
    [math
     [number
      ["n" nat]]]
-   ["[0]" time {"+" Time}
-    ["[0]" instant {"+" Instant}]
-    ["[0]" date {"+" Date}]
+   ["[0]" time (.only Time)
+    ["[0]" instant (.only Instant)]
+    ["[0]" date (.only Date)]
     ["[0]" year]
     ["[0]" month]]
    [world
     [net
-     ["[0]" uri {"+" URI}]]]]]
+     ["[0]" uri (.only URI)]]]]]
  ["[0]" //
   ["/[1]" // "_"
-   [repository {"+" Repository}]
-   ["[1][0]" artifact {"+" Group Name Version Artifact}]]])
+   [repository (.only Repository)]
+   ["[1][0]" artifact (.only Group Name Version Artifact)]]])
 
 (type: .public Metadata
   (Record
diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux
index 1a4c73059..b53d741e6 100644
--- a/stdlib/source/program/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/program/aedifex/metadata/snapshot.lux
@@ -2,17 +2,17 @@
  [library
   [lux {"-" Type}
    [abstract
-    [monad {"+" do}]
-    [equivalence {"+" Equivalence}]]
+    [monad (.only do)]
+    [equivalence (.only Equivalence)]]
    [control
     ["[0]" pipe]
-    ["[0]" try {"+" Try}]
-    ["[0]" exception {"+" exception:}]
+    ["[0]" try (.only Try)]
+    ["[0]" exception (.only exception:)]
     ["<>" parser
-     ["<[0]>" xml {"+" Parser}]
+     ["<[0]>" xml (.only Parser)]
      ["<[0]>" text]]
     [concurrency
-     ["[0]" async {"+" Async}]]]
+     ["[0]" async (.only Async)]]]
    [data
     ["[0]" product]
     ["[0]" text
@@ -20,27 +20,27 @@
      [encoding
       ["[0]" utf8]]]
     [format
-     ["[0]" xml {"+" XML}]]
+     ["[0]" xml (.only XML)]]
     [collection
      ["[0]" list ("[1]#[0]" functor)]]]
    [math
     [number
      ["n" nat]]]
-   ["[0]" time {"+" Time}
-    ["[0]" instant {"+" Instant}]
-    ["[0]" date {"+" Date}]
+   ["[0]" time (.only Time)
+    ["[0]" instant (.only Instant)]
+    ["[0]" date (.only Date)]
     ["[0]" year]
     ["[0]" month]]
    [world
     [net
-     ["[0]" uri {"+" URI}]]]]]
+     ["[0]" uri (.only URI)]]]]]
  ["[0]" //
   ["/[1]" // "_"
-   [repository {"+" Repository}]
-   ["[1][0]" artifact {"+" Group Name Version Artifact}
+   [repository (.only Repository)]
+   ["[1][0]" artifact (.only Group Name Version Artifact)
     ["[1]/[0]" time]
-    ["[1]/[0]" type {"+" Type}]
-    ["[1]/[0]" versioning {"+" Versioning}]
+    ["[1]/[0]" type (.only Type)]
+    ["[1]/[0]" versioning (.only Versioning)]
     ["[1]/[0]" snapshot
      ["[1]/[0]" version]
      ["[1]/[0]" stamp]]]]])
diff --git a/stdlib/source/program/aedifex/package.lux b/stdlib/source/program/aedifex/package.lux
index 2f2a4a157..845173d9b 100644
--- a/stdlib/source/program/aedifex/package.lux
+++ b/stdlib/source/program/aedifex/package.lux
@@ -2,31 +2,31 @@
  [library
   [lux {"-" local}
    [abstract
-    [equivalence {"+" Equivalence}]]
+    [equivalence (.only Equivalence)]]
    [control
-    ["[0]" try {"+" Try} ("[1]#[0]" functor)]
+    ["[0]" try (.only Try) ("[1]#[0]" functor)]
     [parser
      ["<[0]>" xml]]]
    [data
     ["[0]" sum]
     ["[0]" product]
-    ["[0]" binary {"+" Binary}]
+    ["[0]" binary (.only Binary)]
     [text
      [encoding
       ["[0]" utf8]]]
     [format
-     ["[0]" xml {"+" XML}]]
+     ["[0]" xml (.only XML)]]
     [collection
-     [set {"+" Set}]]]]]
+     [set (.only Set)]]]]]
  ["[0]" // "_"
   ["/" profile]
   ["[1][0]" hash]
   ["[1][0]" pom]
-  [dependency {"+" Dependency}
-   ["[1][0]" status {"+" Status}]]
+  [dependency (.only Dependency)
+   ["[1][0]" status (.only Status)]]
   [repository
-   [remote {"+" Address}]
-   ["[1][0]" origin {"+" Origin}]]])
+   [remote (.only Address)]
+   ["[1][0]" origin (.only Origin)]]])
 
 (type: .public Package
   (Record
diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux
index 5cc914193..573b12ded 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -2,36 +2,36 @@
  [library
   [lux {"-" Module type}
    [abstract
-    [monad {"+" do}]]
+    [monad (.only do)]]
    [control
     ["[0]" maybe]
     ["<>" parser ("[1]#[0]" functor)
-     ["<[0]>" code {"+" Parser}]]]
+     ["<[0]>" code (.only Parser)]]]
    [data
     ["[0]" text]
     [collection
-     ["[0]" set {"+" Set}]
-     ["[0]" dictionary {"+" Dictionary}
-      ["[0]" plist {"+" PList}]]]]
+     ["[0]" set (.only Set)]
+     ["[0]" dictionary (.only Dictionary)
+      ["[0]" plist (.only PList)]]]]
    [tool
     [compiler
      [meta
       [cli
-       [compiler {"+" Compiler}]]
+       [compiler (.only Compiler)]]
       [archive
        [module
-        [descriptor {"+" Module}]]]]]]
+        [descriptor (.only Module)]]]]]]
    [world
-    [net {"+" URL}]]]]
+    [net (.only URL)]]]]
  ["[0]" // "_"
   ["/" profile]
-  ["[1][0]" runtime {"+" Runtime}]
-  ["[1][0]" project {"+" Project}]
+  ["[1][0]" runtime (.only Runtime)]
+  ["[1][0]" project (.only Project)]
   ["[1][0]" dependency]
   ["[1][0]" format]
   ["[1][0]" repository "_"
    ["[1]" remote]]
-  ["[1][0]" artifact {"+" Artifact}
+  ["[1][0]" artifact (.only Artifact)
    ["[1]/[0]" type]]])
 
 (def: (singular input tag parser)
diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux
index 2fe4c6de1..7ca781741 100644
--- a/stdlib/source/program/aedifex/pom.lux
+++ b/stdlib/source/program/aedifex/pom.lux
@@ -2,18 +2,18 @@
  [library
   [lux "*"
    [abstract
-    [monad {"+" do}]]
+    [monad (.only do)]]
    [control
     ["[0]" pipe]
     ["[0]" maybe ("[1]#[0]" functor)]
-    ["[0]" try {"+" Try}]
+    ["[0]" try (.only Try)]
     ["[0]" exception]
     ["<>" parser
-     ["<[0]>" xml {"+" Parser}]]]
+     ["<[0]>" xml (.only Parser)]]]
    [data
     ["[0]" text]
     [format
-     ["_" xml {"+" Tag XML}]]
+     ["_" xml (.only Tag XML)]]
     [collection
      ["[0]" list ("[1]#[0]" monoid functor mix)]
      ["[0]" set]
@@ -24,10 +24,10 @@
     ["[0]" file]]]]
  ["[0]" // "_"
   ["/" profile]
-  ["[1][0]" dependency {"+" Dependency}]
+  ["[1][0]" dependency (.only Dependency)]
   [repository
-   [remote {"+" Address}]]
-  ["[1][0]" artifact {"+" Artifact}
+   [remote (.only Address)]]
+  ["[1][0]" artifact (.only Artifact)
    ["[1]/[0]" type]]])
 
 ... https://maven.apache.org/pom.html
diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux
index 0c772a641..e093e0bfc 100644
--- a/stdlib/source/program/aedifex/profile.lux
+++ b/stdlib/source/program/aedifex/profile.lux
@@ -2,42 +2,42 @@
  [library
   [lux {"-" Info Source Module}
    [abstract
-    [monoid {"+" Monoid}]
-    [equivalence {"+" Equivalence}]]
+    [monoid (.only Monoid)]
+    [equivalence (.only Equivalence)]]
    [control
     ["[0]" maybe ("[1]#[0]" monoid)]
-    ["[0]" exception {"+" exception:}]]
+    ["[0]" exception (.only exception:)]]
    [data
     ["[0]" product]
     ["[0]" text ("[1]#[0]" equivalence)]
     [collection
      ["[0]" list ("[1]#[0]" monoid)]
-     ["[0]" set {"+" Set}]
-     ["[0]" dictionary {"+" Dictionary}
-      ["[0]" plist {"+" PList} ("[1]#[0]" monoid)]]]]
+     ["[0]" set (.only Set)]
+     ["[0]" dictionary (.only Dictionary)
+      ["[0]" plist (.only PList) ("[1]#[0]" monoid)]]]]
    [macro
     ["^" pattern]
     ["[0]" template]]
    [meta
     ["[0]" symbol]]
    [world
-    [net {"+" URL}]
-    [file {"+" Path}]]
+    [net (.only URL)]
+    [file (.only Path)]]
    [tool
     [compiler
      [meta
       ["[0]" cli
-       ["[0]" compiler {"+" Compiler}]]
+       ["[0]" compiler (.only Compiler)]]
       [archive
        [module
-        [descriptor {"+" Module}]]]]]]]]
+        [descriptor (.only Module)]]]]]]]]
  [//
-  ["[0]" runtime {"+" Runtime} ("[1]#[0]" equivalence)]
-  ["[0]" dependency {"+" Dependency} ("[1]#[0]" equivalence)]
-  ["[0]" artifact {"+" Artifact}
+  ["[0]" runtime (.only Runtime) ("[1]#[0]" equivalence)]
+  ["[0]" dependency (.only Dependency) ("[1]#[0]" equivalence)]
+  ["[0]" artifact (.only Artifact)
    ["[0]" type]]
   [repository
-   [remote {"+" Address}]]])
+   [remote (.only Address)]]])
 
 (def: .public default_lux
   Dependency
diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux
index 71a9a0381..a1f43c7b8 100644
--- a/stdlib/source/program/aedifex/project.lux
+++ b/stdlib/source/program/aedifex/project.lux
@@ -2,21 +2,21 @@
  [library
   [lux "*"
    [abstract
-    [equivalence {"+" Equivalence}]
-    [monoid {"+" Monoid}]
-    ["[0]" monad {"+" do}]]
+    [equivalence (.only Equivalence)]
+    [monoid (.only Monoid)]
+    ["[0]" monad (.only do)]]
    [control
-    ["[0]" try {"+" Try}]
-    ["[0]" exception {"+" exception:}]]
+    ["[0]" try (.only Try)]
+    ["[0]" exception (.only exception:)]]
    [data
     ["[0]" text
-     ["%" format {"+" format}]]
+     ["%" format (.only format)]]
     [collection
-     ["[0]" dictionary {"+" Dictionary}]
-     ["[0]" set {"+" Set}]
+     ["[0]" dictionary (.only Dictionary)]
+     ["[0]" set (.only Set)]
      ["[0]" list ("[1]#[0]" mix)]]]]]
  ["[0]" // "_"
-  ["[1]" profile {"+" Name Profile}]])
+  ["[1]" profile (.only Name Profile)]])
 
 (def: .public file
   "project.lux")
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index b44be720f..900855124 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -2,18 +2,18 @@
  [library
   [lux "*"
    [abstract
-    [monad {"+" do}]]
+    [monad (.only do)]]
    [control
-    [io {"+" IO}]
-    ["[0]" try {"+" Try}]
+    [io (.only IO)]
+    ["[0]" try (.only Try)]
     [concurrency
-     ["[0]" async {"+" Async}]
+     ["[0]" async (.only Async)]
      ["[0]" stm]]]
    [data
-    [binary {"+" Binary}]]
+    [binary (.only Binary)]]
    [world
     [net
-     [uri {"+" URI}]]]]])
+     [uri (.only URI)]]]]])
 
 (type: .public (Repository !)
   (Interface
diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux
index 88664a868..5bea5c2c8 100644
--- a/stdlib/source/program/aedifex/repository/identity.lux
+++ b/stdlib/source/program/aedifex/repository/identity.lux
@@ -1,13 +1,13 @@
 (.using
  [library
   [lux "*"
-   ["[0]" ffi {"+" import:}]
+   ["[0]" ffi (.only import:)]
    [abstract
-    [equivalence {"+" Equivalence}]]
+    [equivalence (.only Equivalence)]]
    [data
     ["[0]" product]
     ["[0]" text
-     ["%" format {"+" format}]
+     ["%" format (.only format)]
      [encoding
       ["[0]" utf8]]]]]])
 
diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux
index 2c6ff8b9b..0721e8526 100644
--- a/stdlib/source/program/aedifex/repository/local.lux
+++ b/stdlib/source/program/aedifex/repository/local.lux
@@ -2,19 +2,19 @@
  [library
   [lux "*"
    [abstract
-    [monad {"+" do}]]
+    [monad (.only do)]]
    [control
-    ["[0]" try {"+" Try}]
+    ["[0]" try (.only Try)]
     [concurrency
-     ["[0]" async {"+" Async}]]]
+     ["[0]" async (.only Async)]]]
    [data
     ["[0]" text
-     ["%" format {"+" format}]]]
+     ["%" format (.only format)]]]
    [world
-    [program {"+" Program}]
+    [program (.only Program)]
     ["[0]" file]
     [net
-     ["[0]" uri {"+" URI}]]]]]
+     ["[0]" uri (.only URI)]]]]]
  ["[0]" //
   ["/[1]" // "_"
    ["[1][0]" local]
diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux
index 624ef1e10..6af12153b 100644
--- a/stdlib/source/program/aedifex/repository/origin.lux
+++ b/stdlib/source/program/aedifex/repository/origin.lux
@@ -2,13 +2,13 @@
  [library
   [lux "*"
    [abstract
-    [equivalence {"+" Equivalence}]]
+    [equivalence (.only Equivalence)]]
    [data
     ["[0]" sum]
     ["[0]" text]]
    [world
-    [file {"+" Path}]
-    [net {"+" URL}]]]])
+    [file (.only Path)]
+    [net (.only URL)]]]])
 
 (type: .public Origin
   (Variant
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index 313be177b..c3c77f65b 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -2,32 +2,32 @@
  [library
   [lux "*"
    [abstract
-    [monad {"+" do}]]
+    [monad (.only do)]]
    [control
-    ["[0]" io {"+" IO}]
-    ["[0]" try {"+" Try}]
-    ["[0]" exception {"+" exception:}]]
+    ["[0]" io (.only IO)]
+    ["[0]" try (.only Try)]
+    ["[0]" exception (.only exception:)]]
    [data
     ["[0]" product]
     [text
-     ["%" format {"+" format}]]]
+     ["%" format (.only format)]]]
    ["[0]" meta "_"
     ["[1]/[0]" version]]
    [tool
     [compiler
      ["[0]" version]]]
    [world
-    [net {"+" URL}
-     [uri {"+" URI}]
+    [net (.only URL)
+     [uri (.only URI)]
      ["[0]" http "_"
       ["[1]" client]
       ["[1]/[0]" status]
       ["@[1]" /]]]]]]
  ["[0]" //
-  ["[1][0]" identity {"+" Identity}]
+  ["[1][0]" identity (.only Identity)]
   ["/[1]" // "_"
-   ["[1][0]" artifact {"+" Version Artifact}
-    [extension {"+" Extension}]]]])
+   ["[1][0]" artifact (.only Version Artifact)
+    [extension (.only Extension)]]]])
 
 (type: .public Address
   URL)
diff --git a/stdlib/source/program/aedifex/runtime.lux b/stdlib/source/program/aedifex/runtime.lux
index 7ba5e8f9b..d67ec0f36 100644
--- a/stdlib/source/program/aedifex/runtime.lux
+++ b/stdlib/source/program/aedifex/runtime.lux
@@ -2,14 +2,14 @@
  [library
   [lux {"-" for}
    [abstract
-    [equivalence {"+" Equivalence}]]
+    [equivalence (.only Equivalence)]]
    [data
     ["[0]" product]
     ["[0]" text
-     ["%" format {"+" format}]]
+     ["%" format (.only format)]]
     [collection
      ["[0]" list ("[1]#[0]" monoid)]
-     ["[0]" dictionary {"+" Dictionary}]]]
+     ["[0]" dictionary (.only Dictionary)]]]
    [macro
     ["[0]" template]]
    [world