Extensible import syntax: Part 1

14 files changed, 38 insertions, 38 deletions

diff --git a/licentia/source/program/licentia/license/addendum.lux b/licentia/source/program/licentia/license/addendum.lux
index 3aa71b353..2fe9e1c9a 100644
--- a/licentia/source/program/licentia/license/addendum.lux
+++ b/licentia/source/program/licentia/license/addendum.lux
@@ -3,8 +3,8 @@
   [lux "*"
    [data
     [text
-     ["%" format {"+" format}]]]]]
- ["[0]" // {"+" Addendum}
+     ["%" format (.only format)]]]]]
+ ["[0]" // (.only Addendum)
   [//
    ["$" document]]])
 
diff --git a/licentia/source/program/licentia/license/assurance.lux b/licentia/source/program/licentia/license/assurance.lux
index a36b38dcf..de2538a5d 100644
--- a/licentia/source/program/licentia/license/assurance.lux
+++ b/licentia/source/program/licentia/license/assurance.lux
@@ -3,7 +3,7 @@
   [lux "*"
    [data
     ["[0]" text
-     ["%" format {"+" format}]]]]]
+     ["%" format (.only format)]]]]]
  [//
   ["_" term]
   [//
diff --git a/licentia/source/program/licentia/license/black_list.lux b/licentia/source/program/licentia/license/black_list.lux
index 24d367d6a..be1c01f2e 100644
--- a/licentia/source/program/licentia/license/black_list.lux
+++ b/licentia/source/program/licentia/license/black_list.lux
@@ -5,10 +5,10 @@
     ["[0]" maybe ("[1]#[0]" functor)]]
    [data
     ["[0]" text
-     ["%" format {"+" format}]]
+     ["%" format (.only format)]]
     [collection
      ["[0]" list ("[1]#[0]" functor)]]]]]
- ["[0]" // {"+" Entity Black_List}
+ ["[0]" // (.only Entity Black_List)
   ["_" term]
   [//
    ["$" document]]])
diff --git a/licentia/source/program/licentia/license/commercial.lux b/licentia/source/program/licentia/license/commercial.lux
index aa0cc0005..20279179c 100644
--- a/licentia/source/program/licentia/license/commercial.lux
+++ b/licentia/source/program/licentia/license/commercial.lux
@@ -1,13 +1,13 @@
 (.using
-  [library
-   [lux "*"
-    [data
-     ["[0]" text
-      ["%" format {"+" format}]]]]]
-  ["[0]" // {"+" Commercial}
-   ["_" term]
-   [//
-    ["$" document]]])
+ [library
+  [lux "*"
+   [data
+    ["[0]" text
+     ["%" format (.only format)]]]]]
+ ["[0]" // (.only Commercial)
+  ["_" term]
+  [//
+   ["$" document]]])
 
 (def: .public cannot_sell
   (let [preamble (format "Without limiting other conditions in " _.license)
diff --git a/licentia/source/program/licentia/license/copyright.lux b/licentia/source/program/licentia/license/copyright.lux
index d065d5039..c20dc5f64 100644
--- a/licentia/source/program/licentia/license/copyright.lux
+++ b/licentia/source/program/licentia/license/copyright.lux
@@ -1,8 +1,8 @@
 (.using
-  [library
-   [lux "*"]]
-  [//
-   [time {"+" Year Period}]])
+ [library
+  [lux "*"]]
+ [//
+  [time (.only Year Period)]])
 
 (type: .public Holder
   (Record
diff --git a/licentia/source/program/licentia/license/definition.lux b/licentia/source/program/licentia/license/definition.lux
index 3d002311c..009d83e2e 100644
--- a/licentia/source/program/licentia/license/definition.lux
+++ b/licentia/source/program/licentia/license/definition.lux
@@ -3,7 +3,7 @@
   [lux {"-" Definition}
    [data
     ["[0]" text
-     ["%" format {"+" format}]]]]]
+     ["%" format (.only format)]]]]]
  [///
   ["$" document]])
 
diff --git a/licentia/source/program/licentia/license/distribution.lux b/licentia/source/program/licentia/license/distribution.lux
index 87b397ff7..4632536ba 100644
--- a/licentia/source/program/licentia/license/distribution.lux
+++ b/licentia/source/program/licentia/license/distribution.lux
@@ -3,10 +3,10 @@
   [lux "*"
    [data
     ["[0]" text
-     ["%" format {"+" format}]]
+     ["%" format (.only format)]]
     [collection
      ["[0]" list ("[1]#[0]" monoid)]]]]]
- ["[0]" // {"+" Distribution}
+ ["[0]" // (.only Distribution)
   ["_" term]
   [//
    ["$" document]]])
diff --git a/licentia/source/program/licentia/license/extension.lux b/licentia/source/program/licentia/license/extension.lux
index 82a5a0243..00075dd35 100644
--- a/licentia/source/program/licentia/license/extension.lux
+++ b/licentia/source/program/licentia/license/extension.lux
@@ -3,11 +3,11 @@
   [lux "*"
    [data
     ["[0]" text
-     ["%" format {"+" format}]]]]]
- ["[0]" // {"+" Extension}
+     ["%" format (.only format)]]]]]
+ ["[0]" // (.only Extension)
+  [time (.only Months Period)]
   ["_" term]
   ["[0]" grant]
-  [time {"+" Months Period}]
   [//
    ["$" document]]])
 
diff --git a/licentia/source/program/licentia/license/grant.lux b/licentia/source/program/licentia/license/grant.lux
index 9be9208f1..38344fb24 100644
--- a/licentia/source/program/licentia/license/grant.lux
+++ b/licentia/source/program/licentia/license/grant.lux
@@ -3,9 +3,9 @@
   [lux "*"
    [data
     ["[0]" text
-     ["%" format {"+" format}]]]]]
+     ["%" format (.only format)]]]]]
  [//
-  [time {"+" Days}]
+  [time (.only Days)]
   ["_" term]
   ["[0]" definition]
   [//
diff --git a/licentia/source/program/licentia/license/liability.lux b/licentia/source/program/licentia/license/liability.lux
index b6801b900..ee4458e5f 100644
--- a/licentia/source/program/licentia/license/liability.lux
+++ b/licentia/source/program/licentia/license/liability.lux
@@ -3,7 +3,7 @@
   [lux "*"
    [data
     ["[0]" text
-     ["%" format {"+" format}]]]]]
+     ["%" format (.only format)]]]]]
  [//
   ["_" term]
   [//
diff --git a/licentia/source/program/licentia/license/limitation.lux b/licentia/source/program/licentia/license/limitation.lux
index cc8ff460c..33a5753d8 100644
--- a/licentia/source/program/licentia/license/limitation.lux
+++ b/licentia/source/program/licentia/license/limitation.lux
@@ -3,7 +3,7 @@
   [lux "*"
    [data
     ["[0]" text
-     ["%" format {"+" format}]]]]]
+     ["%" format (.only format)]]]]]
  [//
   ["_" term]
   [//
diff --git a/licentia/source/program/licentia/license/miscellaneous.lux b/licentia/source/program/licentia/license/miscellaneous.lux
index 329d5ce9d..dc126ddfb 100644
--- a/licentia/source/program/licentia/license/miscellaneous.lux
+++ b/licentia/source/program/licentia/license/miscellaneous.lux
@@ -3,7 +3,7 @@
   [lux "*"
    [data
     ["[0]" text
-     ["%" format {"+" format}]]]]]
+     ["%" format (.only format)]]]]]
  [//
   ["_" term]
   [//
diff --git a/licentia/source/program/licentia/license/notice.lux b/licentia/source/program/licentia/license/notice.lux
index e9c723909..e9dcb520b 100644
--- a/licentia/source/program/licentia/license/notice.lux
+++ b/licentia/source/program/licentia/license/notice.lux
@@ -3,7 +3,7 @@
   [lux "*"
    [data
     ["[0]" text
-     ["%" format {"+" format}]]
+     ["%" format (.only format)]]
     [collection
      ["[0]" list ("[1]#[0]" functor)]]]
    [math
diff --git a/licentia/source/program/licentia/license/submission.lux b/licentia/source/program/licentia/license/submission.lux
index 1eeddcc6e..367839be3 100644
--- a/licentia/source/program/licentia/license/submission.lux
+++ b/licentia/source/program/licentia/license/submission.lux
@@ -1,13 +1,13 @@
 (.using
-  [library
-   [lux "*"
-    [data
-     ["[0]" text
-      ["%" format {"+" format}]]]]]
+ [library
+  [lux "*"
+   [data
+    ["[0]" text
+     ["%" format (.only format)]]]]]
+ [//
+  ["_" term]
   [//
-   ["_" term]
-   [//
-    ["$" document]]])
+   ["$" document]]])
 
 (def: .public contribution
   (let [on-submissions (let [exception (format "Unless " _.recipient " explicitly states otherwise")