Folded "default" documentation into regular definition documentation.

33 files changed, 462 insertions, 462 deletions

diff --git a/stdlib/source/documentation/lux/data/binary.lux b/stdlib/source/documentation/lux/data/binary.lux
index 879785079..6a660752e 100644
--- a/stdlib/source/documentation/lux/data/binary.lux
+++ b/stdlib/source/documentation/lux/data/binary.lux
@@ -14,30 +14,30 @@
       (.List $.Module)
       ($.module \\parser._
                 ""
-                [($.default \\parser.binary_was_not_fully_read)
-                 ($.default \\parser.size_8)
-                 ($.default \\parser.size_16)
-                 ($.default \\parser.size_32)
-                 ($.default \\parser.size_64)
-                 ($.default \\parser.bits_8)
-                 ($.default \\parser.bits_16)
-                 ($.default \\parser.bits_32)
-                 ($.default \\parser.bits_64)
-                 ($.default \\parser.nat)
-                 ($.default \\parser.int)
-                 ($.default \\parser.rev)
-                 ($.default \\parser.frac)
-                 ($.default \\parser.invalid_tag)
-                 ($.default \\parser.or)
-                 ($.default \\parser.not_a_bit)
-                 ($.default \\parser.bit)
-                 ($.default \\parser.text)
-                 ($.default \\parser.maybe)
-                 ($.default \\parser.set_elements_are_not_unique)
-                 ($.default \\parser.symbol)
-                 ($.default \\parser.type)
-                 ($.default \\parser.location)
-                 ($.default \\parser.code)
+                [($.definition \\parser.binary_was_not_fully_read)
+                 ($.definition \\parser.size_8)
+                 ($.definition \\parser.size_16)
+                 ($.definition \\parser.size_32)
+                 ($.definition \\parser.size_64)
+                 ($.definition \\parser.bits_8)
+                 ($.definition \\parser.bits_16)
+                 ($.definition \\parser.bits_32)
+                 ($.definition \\parser.bits_64)
+                 ($.definition \\parser.nat)
+                 ($.definition \\parser.int)
+                 ($.definition \\parser.rev)
+                 ($.definition \\parser.frac)
+                 ($.definition \\parser.invalid_tag)
+                 ($.definition \\parser.or)
+                 ($.definition \\parser.not_a_bit)
+                 ($.definition \\parser.bit)
+                 ($.definition \\parser.text)
+                 ($.definition \\parser.maybe)
+                 ($.definition \\parser.set_elements_are_not_unique)
+                 ($.definition \\parser.symbol)
+                 ($.definition \\parser.type)
+                 ($.definition \\parser.location)
+                 ($.definition \\parser.code)
 
                  ($.definition \\parser.Offset
                    "An offset for reading within binary data.")
@@ -114,37 +114,37 @@
   (.List $.Module)
   ($.module \\format._
             ""
-            [($.default \\format.monoid)
-             ($.default \\format.bits_8)
-             ($.default \\format.bits_16)
-             ($.default \\format.bits_32)
-             ($.default \\format.bits_64)
-             ($.default \\format.any)
-             ($.default \\format.bit)
-             ($.default \\format.nat)
-             ($.default \\format.int)
-             ($.default \\format.rev)
-             ($.default \\format.frac)
-             ($.default \\format.binary_8)
-             ($.default \\format.binary_16)
-             ($.default \\format.binary_32)
-             ($.default \\format.binary_64)
-             ($.default \\format.utf8_8)
-             ($.default \\format.utf8_16)
-             ($.default \\format.utf8_32)
-             ($.default \\format.utf8_64)
-             ($.default \\format.text)
-             ($.default \\format.sequence_8)
-             ($.default \\format.sequence_16)
-             ($.default \\format.sequence_32)
-             ($.default \\format.sequence_64)
-             ($.default \\format.maybe)
-             ($.default \\format.list)
-             ($.default \\format.set)
-             ($.default \\format.symbol)
-             ($.default \\format.type)
-             ($.default \\format.location)
-             ($.default \\format.code)
+            [($.definition \\format.monoid)
+             ($.definition \\format.bits_8)
+             ($.definition \\format.bits_16)
+             ($.definition \\format.bits_32)
+             ($.definition \\format.bits_64)
+             ($.definition \\format.any)
+             ($.definition \\format.bit)
+             ($.definition \\format.nat)
+             ($.definition \\format.int)
+             ($.definition \\format.rev)
+             ($.definition \\format.frac)
+             ($.definition \\format.binary_8)
+             ($.definition \\format.binary_16)
+             ($.definition \\format.binary_32)
+             ($.definition \\format.binary_64)
+             ($.definition \\format.utf8_8)
+             ($.definition \\format.utf8_16)
+             ($.definition \\format.utf8_32)
+             ($.definition \\format.utf8_64)
+             ($.definition \\format.text)
+             ($.definition \\format.sequence_8)
+             ($.definition \\format.sequence_16)
+             ($.definition \\format.sequence_32)
+             ($.definition \\format.sequence_64)
+             ($.definition \\format.maybe)
+             ($.definition \\format.list)
+             ($.definition \\format.set)
+             ($.definition \\format.symbol)
+             ($.definition \\format.type)
+             ($.definition \\format.location)
+             ($.definition \\format.code)
 
              ($.definition \\format.Mutation
                "A mutation of binary data, tracking where in the data to transform.")
@@ -186,11 +186,11 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.index_out_of_bounds)
-             ($.default /.slice_out_of_bounds)
-             ($.default /.size)
-             ($.default /.equivalence)
-             ($.default /.monoid)
+            [($.definition /.index_out_of_bounds)
+             ($.definition /.slice_out_of_bounds)
+             ($.definition /.size)
+             ($.definition /.equivalence)
+             ($.definition /.monoid)
 
              ($.definition /.Binary
                "A binary BLOB of data.")
diff --git a/stdlib/source/documentation/lux/data/bit.lux b/stdlib/source/documentation/lux/data/bit.lux
index a3c641987..99238c240 100644
--- a/stdlib/source/documentation/lux/data/bit.lux
+++ b/stdlib/source/documentation/lux/data/bit.lux
@@ -12,15 +12,15 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.no)
-             ($.default /.yes)
-             ($.default /.off)
-             ($.default /.on)
-             ($.default /.equivalence)
-             ($.default /.hash)
-             ($.default /.disjunction)
-             ($.default /.conjunction)
-             ($.default /.codec)
+            [($.definition /.no)
+             ($.definition /.yes)
+             ($.definition /.off)
+             ($.definition /.on)
+             ($.definition /.equivalence)
+             ($.definition /.hash)
+             ($.definition /.disjunction)
+             ($.definition /.conjunction)
+             ($.definition /.codec)
 
              ($.definition /.complement
                (format "Generates the complement of a predicate."
diff --git a/stdlib/source/documentation/lux/data/collection/array.lux b/stdlib/source/documentation/lux/data/collection/array.lux
index 3517b2eeb..2fd48ac01 100644
--- a/stdlib/source/documentation/lux/data/collection/array.lux
+++ b/stdlib/source/documentation/lux/data/collection/array.lux
@@ -14,13 +14,13 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.type_name)
-             ($.default /.equivalence)
-             ($.default /.monoid)
-             ($.default /.functor)
-             ($.default /.mix)
-             ($.default /.every?)
-             ($.default /.any?)
+            [($.definition /.type_name)
+             ($.definition /.equivalence)
+             ($.definition /.monoid)
+             ($.definition /.functor)
+             ($.definition /.mix)
+             ($.definition /.every?)
+             ($.definition /.any?)
 
              ($.definition (/.Array it)
                "Mutable arrays.")
diff --git a/stdlib/source/documentation/lux/data/collection/bits.lux b/stdlib/source/documentation/lux/data/collection/bits.lux
index 648541759..4a4fa900d 100644
--- a/stdlib/source/documentation/lux/data/collection/bits.lux
+++ b/stdlib/source/documentation/lux/data/collection/bits.lux
@@ -9,17 +9,17 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.Chunk)
-             ($.default /.chunk_size)
-             ($.default /.empty)
-             ($.default /.empty?)
-             ($.default /.equivalence)
-             ($.default /.one)
-             ($.default /.zero)
-             ($.default /.flipped)
-             ($.default /.and)
-             ($.default /.or)
-             ($.default /.xor)
+            [($.definition /.Chunk)
+             ($.definition /.chunk_size)
+             ($.definition /.empty)
+             ($.definition /.empty?)
+             ($.definition /.equivalence)
+             ($.definition /.one)
+             ($.definition /.zero)
+             ($.definition /.flipped)
+             ($.definition /.and)
+             ($.definition /.or)
+             ($.definition /.xor)
 
              ($.definition /.Bits
                "A bit-map.")
diff --git a/stdlib/source/documentation/lux/data/collection/dictionary.lux b/stdlib/source/documentation/lux/data/collection/dictionary.lux
index 6cc473b7f..dcf2afce1 100644
--- a/stdlib/source/documentation/lux/data/collection/dictionary.lux
+++ b/stdlib/source/documentation/lux/data/collection/dictionary.lux
@@ -14,15 +14,15 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.key_hash)
-             ($.default /.key_already_exists)
-             ($.default /.size)
-             ($.default /.empty?)
-             ($.default /.entries)
-             ($.default /.keys)
-             ($.default /.values)
-             ($.default /.equivalence)
-             ($.default /.functor)
+            [($.definition /.key_hash)
+             ($.definition /.key_already_exists)
+             ($.definition /.size)
+             ($.definition /.empty?)
+             ($.definition /.entries)
+             ($.definition /.keys)
+             ($.definition /.values)
+             ($.definition /.equivalence)
+             ($.definition /.functor)
 
              ($.definition (/.Dictionary key value)
                "A dictionary implemented as a Hash-Array Mapped Trie (HAMT).")
diff --git a/stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux b/stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux
index 232e3bcdf..c264b55f6 100644
--- a/stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/documentation/lux/data/collection/dictionary/ordered.lux
@@ -15,11 +15,11 @@
       (.List $.Module)
       ($.module /._
                 ""
-                [($.default /.empty?)
-                 ($.default /.entries)
-                 ($.default /.keys)
-                 ($.default /.values)
-                 ($.default /.equivalence)
+                [($.definition /.empty?)
+                 ($.definition /.entries)
+                 ($.definition /.keys)
+                 ($.definition /.values)
+                 ($.definition /.equivalence)
 
                  ($.definition (/.Dictionary key value)
                    "A dictionary data-structure with ordered entries.")
diff --git a/stdlib/source/documentation/lux/data/collection/list.lux b/stdlib/source/documentation/lux/data/collection/list.lux
index 0e413e1d7..bd4cf4a7d 100644
--- a/stdlib/source/documentation/lux/data/collection/list.lux
+++ b/stdlib/source/documentation/lux/data/collection/list.lux
@@ -14,23 +14,23 @@
       (.List $.Module)
       ($.module /._
                 ""
-                [($.default /.mix)
-                 ($.default /.equivalence)
-                 ($.default /.hash)
-                 ($.default /.monoid)
-                 ($.default /.functor)
-                 ($.default /.apply)
-                 ($.default /.monad)
-                 ($.default /.zipped_2)
-                 ($.default /.zipped_3)
-                 ($.default /.zipped_with_2)
-                 ($.default /.zipped_with_3)
-                 ($.default /.first)
-                 ($.default /.after)
-                 ($.default /.while)
-                 ($.default /.until)
-                 ($.default /.every?)
-                 ($.default /.any?)
+                [($.definition /.mix)
+                 ($.definition /.equivalence)
+                 ($.definition /.hash)
+                 ($.definition /.monoid)
+                 ($.definition /.functor)
+                 ($.definition /.apply)
+                 ($.definition /.monad)
+                 ($.definition /.zipped_2)
+                 ($.definition /.zipped_3)
+                 ($.definition /.zipped_with_2)
+                 ($.definition /.zipped_with_3)
+                 ($.definition /.first)
+                 ($.definition /.after)
+                 ($.definition /.while)
+                 ($.definition /.until)
+                 ($.definition /.every?)
+                 ($.definition /.any?)
 
                  ($.definition /.mixes
                    ""
diff --git a/stdlib/source/documentation/lux/data/collection/list/property.lux b/stdlib/source/documentation/lux/data/collection/list/property.lux
index df68a5963..1d8ac9892 100644
--- a/stdlib/source/documentation/lux/data/collection/list/property.lux
+++ b/stdlib/source/documentation/lux/data/collection/list/property.lux
@@ -12,12 +12,12 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.empty)
-             ($.default /.size)
-             ($.default /.empty?)
-             ($.default /.keys)
-             ($.default /.values)
-             ($.default /.equivalence)
+            [($.definition /.empty)
+             ($.definition /.size)
+             ($.definition /.empty?)
+             ($.definition /.keys)
+             ($.definition /.values)
+             ($.definition /.equivalence)
 
              ($.definition (/.List it)
                (format "A property list."
diff --git a/stdlib/source/documentation/lux/data/collection/queue.lux b/stdlib/source/documentation/lux/data/collection/queue.lux
index 5b96e8a10..d61c7dae6 100644
--- a/stdlib/source/documentation/lux/data/collection/queue.lux
+++ b/stdlib/source/documentation/lux/data/collection/queue.lux
@@ -11,11 +11,11 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.empty)
-             ($.default /.size)
-             ($.default /.empty?)
-             ($.default /.equivalence)
-             ($.default /.functor)
+            [($.definition /.empty)
+             ($.definition /.size)
+             ($.definition /.empty?)
+             ($.definition /.equivalence)
+             ($.definition /.functor)
 
              ($.definition (/.Queue it)
                "A first-in, first-out sequential data-structure.")
diff --git a/stdlib/source/documentation/lux/data/collection/queue/priority.lux b/stdlib/source/documentation/lux/data/collection/queue/priority.lux
index 36f889902..94eb7dc59 100644
--- a/stdlib/source/documentation/lux/data/collection/queue/priority.lux
+++ b/stdlib/source/documentation/lux/data/collection/queue/priority.lux
@@ -9,15 +9,15 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.Priority)
-             ($.default /.max)
-             ($.default /.min)
-             ($.default (/.Queue it))
-             ($.default /.empty)
-             ($.default /.front)
-             ($.default /.size)
-             ($.default /.next)
-             ($.default /.empty?)
+            [($.definition /.Priority)
+             ($.definition /.max)
+             ($.definition /.min)
+             ($.definition (/.Queue it))
+             ($.definition /.empty)
+             ($.definition /.front)
+             ($.definition /.size)
+             ($.definition /.next)
+             ($.definition /.empty?)
 
              ($.definition /.member?
                ""
diff --git a/stdlib/source/documentation/lux/data/collection/sequence.lux b/stdlib/source/documentation/lux/data/collection/sequence.lux
index fc8c6fab6..2db4aba19 100644
--- a/stdlib/source/documentation/lux/data/collection/sequence.lux
+++ b/stdlib/source/documentation/lux/data/collection/sequence.lux
@@ -9,20 +9,20 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.empty)
-             ($.default /.size)
-             ($.default /.index_out_of_bounds)
-             ($.default /.of_list)
-             ($.default /.empty?)
-             ($.default /.equivalence)
-             ($.default /.mix)
-             ($.default /.monoid)
-             ($.default /.functor)
-             ($.default /.apply)
-             ($.default /.monad)
-             ($.default /.reversed)
-             ($.default /.every?)
-             ($.default /.any?)
+            [($.definition /.empty)
+             ($.definition /.size)
+             ($.definition /.index_out_of_bounds)
+             ($.definition /.of_list)
+             ($.definition /.empty?)
+             ($.definition /.equivalence)
+             ($.definition /.mix)
+             ($.definition /.monoid)
+             ($.definition /.functor)
+             ($.definition /.apply)
+             ($.definition /.monad)
+             ($.definition /.reversed)
+             ($.definition /.every?)
+             ($.definition /.any?)
 
              ($.definition (/.Sequence it)
                "A sequential data-structure with fast random access.")
diff --git a/stdlib/source/documentation/lux/data/collection/set.lux b/stdlib/source/documentation/lux/data/collection/set.lux
index 00d989bca..c9c02c488 100644
--- a/stdlib/source/documentation/lux/data/collection/set.lux
+++ b/stdlib/source/documentation/lux/data/collection/set.lux
@@ -15,20 +15,20 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default (/.Set it))
-             ($.default /.member_hash)
-             ($.default /.empty)
-             ($.default /.size)
-             ($.default /.lacks)
-             ($.default /.member?)
-             ($.default /.list)
-             ($.default /.union)
-             ($.default /.equivalence)
-             ($.default /.hash)
-             ($.default /.monoid)
-             ($.default /.empty?)
-             ($.default /.of_list)
-             ($.default /.predicate)
+            [($.definition (/.Set it))
+             ($.definition /.member_hash)
+             ($.definition /.empty)
+             ($.definition /.size)
+             ($.definition /.lacks)
+             ($.definition /.member?)
+             ($.definition /.list)
+             ($.definition /.union)
+             ($.definition /.equivalence)
+             ($.definition /.hash)
+             ($.definition /.monoid)
+             ($.definition /.empty?)
+             ($.definition /.of_list)
+             ($.definition /.predicate)
 
              ($.definition /.has
                ""
diff --git a/stdlib/source/documentation/lux/data/collection/set/multi.lux b/stdlib/source/documentation/lux/data/collection/set/multi.lux
index 3f06fe230..77944599e 100644
--- a/stdlib/source/documentation/lux/data/collection/set/multi.lux
+++ b/stdlib/source/documentation/lux/data/collection/set/multi.lux
@@ -12,18 +12,18 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.empty)
-             ($.default /.size)
-             ($.default /.list)
-             ($.default /.equivalence)
-             ($.default /.hash)
-             ($.default /.empty?)
-             ($.default /.of_list)
-             ($.default /.of_set)
-             ($.default /.union)
-             ($.default /.sum)
-             ($.default /.intersection)
-             ($.default /.difference)
+            [($.definition /.empty)
+             ($.definition /.size)
+             ($.definition /.list)
+             ($.definition /.equivalence)
+             ($.definition /.hash)
+             ($.definition /.empty?)
+             ($.definition /.of_list)
+             ($.definition /.of_set)
+             ($.definition /.union)
+             ($.definition /.sum)
+             ($.definition /.intersection)
+             ($.definition /.difference)
 
              ($.definition (/.Set it)
                "A set that keeps track of repetition in its entries.")
diff --git a/stdlib/source/documentation/lux/data/collection/set/ordered.lux b/stdlib/source/documentation/lux/data/collection/set/ordered.lux
index 6581303a4..a34ad7bb2 100644
--- a/stdlib/source/documentation/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/documentation/lux/data/collection/set/ordered.lux
@@ -12,16 +12,16 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.empty)
-             ($.default /.min)
-             ($.default /.max)
-             ($.default /.size)
-             ($.default /.empty?)
-             ($.default /.list)
-             ($.default /.of_list)
-             ($.default /.union)
-             ($.default /.intersection)
-             ($.default /.equivalence)
+            [($.definition /.empty)
+             ($.definition /.min)
+             ($.definition /.max)
+             ($.definition /.size)
+             ($.definition /.empty?)
+             ($.definition /.list)
+             ($.definition /.of_list)
+             ($.definition /.union)
+             ($.definition /.intersection)
+             ($.definition /.equivalence)
 
              ($.definition (/.Set it)
                "A set with ordered entries.")
diff --git a/stdlib/source/documentation/lux/data/collection/stack.lux b/stdlib/source/documentation/lux/data/collection/stack.lux
index 0faad223b..5a334c846 100644
--- a/stdlib/source/documentation/lux/data/collection/stack.lux
+++ b/stdlib/source/documentation/lux/data/collection/stack.lux
@@ -12,11 +12,11 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.empty)
-             ($.default /.size)
-             ($.default /.empty?)
-             ($.default /.equivalence)
-             ($.default /.functor)
+            [($.definition /.empty)
+             ($.definition /.size)
+             ($.definition /.empty?)
+             ($.definition /.equivalence)
+             ($.definition /.functor)
 
              ($.definition (/.Stack it)
                "A first-in, last-out sequential data-structure.")
diff --git a/stdlib/source/documentation/lux/data/collection/stream.lux b/stdlib/source/documentation/lux/data/collection/stream.lux
index 7f6b412cf..095642068 100644
--- a/stdlib/source/documentation/lux/data/collection/stream.lux
+++ b/stdlib/source/documentation/lux/data/collection/stream.lux
@@ -12,16 +12,16 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.head)
-             ($.default /.tail)
-             ($.default /.functor)
-             ($.default /.comonad)
-             ($.default /.while)
-             ($.default /.until)
-             ($.default /.first)
-             ($.default /.after)
-             ($.default /.split_when)
-             ($.default /.split_at)
+            [($.definition /.head)
+             ($.definition /.tail)
+             ($.definition /.functor)
+             ($.definition /.comonad)
+             ($.definition /.while)
+             ($.definition /.until)
+             ($.definition /.first)
+             ($.definition /.after)
+             ($.definition /.split_when)
+             ($.definition /.split_at)
 
              ($.definition (/.Stream it)
                "An infinite sequence of values.")
diff --git a/stdlib/source/documentation/lux/data/collection/tree.lux b/stdlib/source/documentation/lux/data/collection/tree.lux
index 4e063f788..139d88ca3 100644
--- a/stdlib/source/documentation/lux/data/collection/tree.lux
+++ b/stdlib/source/documentation/lux/data/collection/tree.lux
@@ -16,7 +16,7 @@
       (.List $.Module)
       ($.module \\parser._
                 ""
-                [($.default \\parser.cannot_move_further)
+                [($.definition \\parser.cannot_move_further)
 
                  ($.definition (\\parser.Parser it)
                    "A parser of arbitrary trees.")
@@ -57,9 +57,9 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.equivalence)
-             ($.default /.functor)
-             ($.default /.mix)
+            [($.definition /.equivalence)
+             ($.definition /.functor)
+             ($.definition /.mix)
 
              ($.definition (/.Tree it)
                "A generic tree data-structure.")
diff --git a/stdlib/source/documentation/lux/data/collection/tree/finger.lux b/stdlib/source/documentation/lux/data/collection/tree/finger.lux
index fbaac3b6f..cc6573633 100644
--- a/stdlib/source/documentation/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/documentation/lux/data/collection/tree/finger.lux
@@ -12,8 +12,8 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.tag)
-             ($.default /.root)
+            [($.definition /.tag)
+             ($.definition /.root)
 
              ($.definition (/.Tree @ tag value)
                "A finger tree.")
diff --git a/stdlib/source/documentation/lux/data/collection/tree/zipper.lux b/stdlib/source/documentation/lux/data/collection/tree/zipper.lux
index 28535dac0..7d33d944a 100644
--- a/stdlib/source/documentation/lux/data/collection/tree/zipper.lux
+++ b/stdlib/source/documentation/lux/data/collection/tree/zipper.lux
@@ -12,29 +12,29 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.equivalence)
-             ($.default /.zipper)
-             ($.default /.tree)
-             ($.default /.value)
-             ($.default /.leaf?)
-             ($.default /.branch?)
-             ($.default /.start?)
-             ($.default /.down)
-             ($.default /.up)
-             ($.default /.right)
-             ($.default /.rightmost)
-             ($.default /.left)
-             ($.default /.leftmost)
-             ($.default /.next)
-             ($.default /.previous)
-             ($.default /.end)
-             ($.default /.start)
-             ($.default /.end?)
-             ($.default /.remove)
-             ($.default /.insert_left)
-             ($.default /.insert_right)
-             ($.default /.functor)
-             ($.default /.comonad)
+            [($.definition /.equivalence)
+             ($.definition /.zipper)
+             ($.definition /.tree)
+             ($.definition /.value)
+             ($.definition /.leaf?)
+             ($.definition /.branch?)
+             ($.definition /.start?)
+             ($.definition /.down)
+             ($.definition /.up)
+             ($.definition /.right)
+             ($.definition /.rightmost)
+             ($.definition /.left)
+             ($.definition /.leftmost)
+             ($.definition /.next)
+             ($.definition /.previous)
+             ($.definition /.end)
+             ($.definition /.start)
+             ($.definition /.end?)
+             ($.definition /.remove)
+             ($.definition /.insert_left)
+             ($.definition /.insert_right)
+             ($.definition /.functor)
+             ($.definition /.comonad)
 
              ($.definition (/.Zipper it)
                "Tree zippers, for easy navigation and editing of trees.")
diff --git a/stdlib/source/documentation/lux/data/color.lux b/stdlib/source/documentation/lux/data/color.lux
index 32d48672f..5c2f37e09 100644
--- a/stdlib/source/documentation/lux/data/color.lux
+++ b/stdlib/source/documentation/lux/data/color.lux
@@ -24,27 +24,27 @@
       (.List $.Module)
       ($.module /._
                 ""
-                [($.default /.of_rgb)
-                 ($.default /.rgb)
-                 ($.default /.equivalence)
-                 ($.default /.hash)
-                 ($.default /.black)
-                 ($.default /.white)
-                 ($.default /.addition)
-                 ($.default /.subtraction)
-                 ($.default /.hsl)
-                 ($.default /.of_hsl)
-                 ($.default /.hsb)
-                 ($.default /.of_hsb)
-                 ($.default /.cmyk)
-                 ($.default /.of_cmyk)
-                 ($.default /.gray_scale)
-                 ($.default /.Spread)
-                 ($.default /.Palette)
-                 ($.default /.darker)
-                 ($.default /.brighter)
-                 ($.default /.saturated)
-                 ($.default /.un_saturated)
+                [($.definition /.of_rgb)
+                 ($.definition /.rgb)
+                 ($.definition /.equivalence)
+                 ($.definition /.hash)
+                 ($.definition /.black)
+                 ($.definition /.white)
+                 ($.definition /.addition)
+                 ($.definition /.subtraction)
+                 ($.definition /.hsl)
+                 ($.definition /.of_hsl)
+                 ($.definition /.hsb)
+                 ($.definition /.of_hsb)
+                 ($.definition /.cmyk)
+                 ($.definition /.of_cmyk)
+                 ($.definition /.gray_scale)
+                 ($.definition /.Spread)
+                 ($.definition /.Palette)
+                 ($.definition /.darker)
+                 ($.definition /.brighter)
+                 ($.definition /.saturated)
+                 ($.definition /.un_saturated)
 
                  ($.definition /.RGB
                    "Red-Green-Blue color format.")
diff --git a/stdlib/source/documentation/lux/data/format/json.lux b/stdlib/source/documentation/lux/data/format/json.lux
index 3670951f3..93bc3add9 100644
--- a/stdlib/source/documentation/lux/data/format/json.lux
+++ b/stdlib/source/documentation/lux/data/format/json.lux
@@ -16,10 +16,10 @@
       (.List $.Module)
       ($.module \\parser._
                 ""
-                [($.default \\parser.unconsumed_input)
-                 ($.default \\parser.empty_input)
-                 ($.default \\parser.unexpected_value)
-                 ($.default \\parser.value_mismatch)
+                [($.definition \\parser.unconsumed_input)
+                 ($.definition \\parser.empty_input)
+                 ($.definition \\parser.unexpected_value)
+                 ($.definition \\parser.value_mismatch)
 
                  ($.definition (\\parser.Parser it)
                    "A JSON parser.")
@@ -80,18 +80,18 @@
       ($.module /._
                 (format "Functionality for reading and writing values in the JSON format."
                         \n "For more information, please see: http://www.json.org/")
-                [($.default /.Null)
-                 ($.default /.Boolean)
-                 ($.default /.Number)
-                 ($.default /.String)
-                 ($.default /.JSON)
-                 ($.default /.Array)
-                 ($.default /.Object)
-                 ($.default /.null?)
-                 ($.default /.object)
-                 ($.default /.equivalence)
-                 ($.default /.format)
-                 ($.default /.codec)
+                [($.definition /.Null)
+                 ($.definition /.Boolean)
+                 ($.definition /.Number)
+                 ($.definition /.String)
+                 ($.definition /.JSON)
+                 ($.definition /.Array)
+                 ($.definition /.Object)
+                 ($.definition /.null?)
+                 ($.definition /.object)
+                 ($.definition /.equivalence)
+                 ($.definition /.format)
+                 ($.definition /.codec)
 
                  ($.definition /.json
                    "A simple way to produce JSON literals."
diff --git a/stdlib/source/documentation/lux/data/format/tar.lux b/stdlib/source/documentation/lux/data/format/tar.lux
index f31c3dc68..9de7d8ca9 100644
--- a/stdlib/source/documentation/lux/data/format/tar.lux
+++ b/stdlib/source/documentation/lux/data/format/tar.lux
@@ -12,75 +12,75 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.not_a_small_number)
-             ($.default /.small_limit)
-             ($.default /.Small)
-             ($.default /.small)
-             ($.default /.from_small)
+            [($.definition /.not_a_small_number)
+             ($.definition /.small_limit)
+             ($.definition /.Small)
+             ($.definition /.small)
+             ($.definition /.from_small)
 
-             ($.default /.not_a_big_number)
-             ($.default /.big_limit)
-             ($.default /.Big)
-             ($.default /.big)
-             ($.default /.from_big)
+             ($.definition /.not_a_big_number)
+             ($.definition /.big_limit)
+             ($.definition /.Big)
+             ($.definition /.big)
+             ($.definition /.from_big)
 
-             ($.default /.wrong_character)
-             ($.default /.not_ascii)
-             ($.default /.name_size)
-             ($.default /.path_size)
+             ($.definition /.wrong_character)
+             ($.definition /.not_ascii)
+             ($.definition /.name_size)
+             ($.definition /.path_size)
 
-             ($.default /.Name)
-             ($.default /.name_is_too_long)
-             ($.default /.name)
-             ($.default /.from_name)
-             ($.default /.anonymous)
+             ($.definition /.Name)
+             ($.definition /.name_is_too_long)
+             ($.definition /.name)
+             ($.definition /.from_name)
+             ($.definition /.anonymous)
 
-             ($.default /.Path)
-             ($.default /.path_is_too_long)
-             ($.default /.path)
-             ($.default /.from_path)
-             ($.default /.no_path)
+             ($.definition /.Path)
+             ($.definition /.path_is_too_long)
+             ($.definition /.path)
+             ($.definition /.from_path)
+             ($.definition /.no_path)
 
-             ($.default /.invalid_link_flag)
-             ($.default /.Mode)
-             ($.default /.mode)
-             ($.default /.and)
-             ($.default /.invalid_mode)
+             ($.definition /.invalid_link_flag)
+             ($.definition /.Mode)
+             ($.definition /.mode)
+             ($.definition /.and)
+             ($.definition /.invalid_mode)
 
-             ($.default /.none)
+             ($.definition /.none)
              
-             ($.default /.execute_by_other)
-             ($.default /.write_by_other)
-             ($.default /.read_by_other)
+             ($.definition /.execute_by_other)
+             ($.definition /.write_by_other)
+             ($.definition /.read_by_other)
 
-             ($.default /.execute_by_group)
-             ($.default /.write_by_group)
-             ($.default /.read_by_group)
+             ($.definition /.execute_by_group)
+             ($.definition /.write_by_group)
+             ($.definition /.read_by_group)
 
-             ($.default /.execute_by_owner)
-             ($.default /.write_by_owner)
-             ($.default /.read_by_owner)
+             ($.definition /.execute_by_owner)
+             ($.definition /.write_by_owner)
+             ($.definition /.read_by_owner)
 
-             ($.default /.save_text)
-             ($.default /.set_group_id_on_execution)
-             ($.default /.set_user_id_on_execution)
+             ($.definition /.save_text)
+             ($.definition /.set_group_id_on_execution)
+             ($.definition /.set_user_id_on_execution)
              
-             ($.default /.Content)
-             ($.default /.content)
-             ($.default /.data)
-             ($.default /.ID)
-             ($.default /.no_id)
-             ($.default /.Owner)
-             ($.default /.Ownership)
-             ($.default /.File)
-             ($.default /.Normal)
-             ($.default /.Symbolic_Link)
-             ($.default /.Directory)
-             ($.default /.Contiguous)
-             ($.default /.Entry)
-             ($.default /.Tar)
-             ($.default /.format)
-             ($.default /.wrong_checksum)
-             ($.default /.invalid_end_of_archive)
-             ($.default /.parser)]
+             ($.definition /.Content)
+             ($.definition /.content)
+             ($.definition /.data)
+             ($.definition /.ID)
+             ($.definition /.no_id)
+             ($.definition /.Owner)
+             ($.definition /.Ownership)
+             ($.definition /.File)
+             ($.definition /.Normal)
+             ($.definition /.Symbolic_Link)
+             ($.definition /.Directory)
+             ($.definition /.Contiguous)
+             ($.definition /.Entry)
+             ($.definition /.Tar)
+             ($.definition /.format)
+             ($.definition /.wrong_checksum)
+             ($.definition /.invalid_end_of_archive)
+             ($.definition /.parser)]
             []))
diff --git a/stdlib/source/documentation/lux/data/format/xml.lux b/stdlib/source/documentation/lux/data/format/xml.lux
index 2195db0c2..60c2841e9 100644
--- a/stdlib/source/documentation/lux/data/format/xml.lux
+++ b/stdlib/source/documentation/lux/data/format/xml.lux
@@ -13,12 +13,12 @@
   (.List $.Module)
   ($.module \\parser._
             ""
-            [($.default \\parser.empty_input)
-             ($.default \\parser.unexpected_input)
-             ($.default \\parser.wrong_tag)
-             ($.default \\parser.unknown_attribute)
-             ($.default \\parser.unconsumed_inputs)
-             ($.default \\parser.nowhere)
+            [($.definition \\parser.empty_input)
+             ($.definition \\parser.unexpected_input)
+             ($.definition \\parser.wrong_tag)
+             ($.definition \\parser.unknown_attribute)
+             ($.definition \\parser.unconsumed_inputs)
+             ($.definition \\parser.nowhere)
 
              ($.definition (\\parser.Parser it)
                "A parser of XML-encoded data.")
@@ -54,12 +54,12 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.Tag)
-             ($.default /.Attribute)
-             ($.default /.Attrs)
-             ($.default /.XML)
-             ($.default /.codec)
-             ($.default /.equivalence)
+            [($.definition /.Tag)
+             ($.definition /.Attribute)
+             ($.definition /.Attrs)
+             ($.definition /.XML)
+             ($.definition /.codec)
+             ($.definition /.equivalence)
 
              ($.definition /.attributes
                "An empty set of XML attributes.")
diff --git a/stdlib/source/documentation/lux/data/identity.lux b/stdlib/source/documentation/lux/data/identity.lux
index bdfa6dbd6..acf3d9bed 100644
--- a/stdlib/source/documentation/lux/data/identity.lux
+++ b/stdlib/source/documentation/lux/data/identity.lux
@@ -12,10 +12,10 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.functor)
-             ($.default /.apply)
-             ($.default /.monad)
-             ($.default /.comonad)
+            [($.definition /.functor)
+             ($.definition /.apply)
+             ($.definition /.monad)
+             ($.definition /.comonad)
 
              ($.definition (/.Identity it)
                "A value, as is, without any extra structure super-imposed on it.")]
diff --git a/stdlib/source/documentation/lux/data/product.lux b/stdlib/source/documentation/lux/data/product.lux
index aad2b2f31..05cb39ca8 100644
--- a/stdlib/source/documentation/lux/data/product.lux
+++ b/stdlib/source/documentation/lux/data/product.lux
@@ -12,8 +12,8 @@
   (.List $.Module)
   ($.module /._
             "Functionality for working with tuples (particularly 2-tuples/pairs)."
-            [($.default /.equivalence)
-             ($.default /.hash)
+            [($.definition /.equivalence)
+             ($.definition /.hash)
 
              ($.definition /.left
                "The left side of a pair.")
diff --git a/stdlib/source/documentation/lux/data/sum.lux b/stdlib/source/documentation/lux/data/sum.lux
index 19595cc10..b7a41851d 100644
--- a/stdlib/source/documentation/lux/data/sum.lux
+++ b/stdlib/source/documentation/lux/data/sum.lux
@@ -12,11 +12,11 @@
   (.List $.Module)
   ($.module /._
             "Functionality for working with variants (particularly 2-variants)."
-            [($.default /.lefts)
-             ($.default /.rights)
-             ($.default /.partition)
-             ($.default /.equivalence)
-             ($.default /.hash)
+            [($.definition /.lefts)
+             ($.definition /.rights)
+             ($.definition /.partition)
+             ($.definition /.equivalence)
+             ($.definition /.hash)
 
              ($.definition /.left
                "Lifts value to the left side of a 2-variant.")
diff --git a/stdlib/source/documentation/lux/data/text.lux b/stdlib/source/documentation/lux/data/text.lux
index e783b5ee7..f5271ed99 100644
--- a/stdlib/source/documentation/lux/data/text.lux
+++ b/stdlib/source/documentation/lux/data/text.lux
@@ -20,51 +20,51 @@
   (.List $.Module)
   ($.module \\format._
             ""
-            [($.default \\format.functor)
-
-             ($.default \\format.bit)
-             ($.default \\format.nat)
-             ($.default \\format.int)
-             ($.default \\format.rev)
-             ($.default \\format.frac)
-             ($.default \\format.text)
+            [($.definition \\format.functor)
+
+             ($.definition \\format.bit)
+             ($.definition \\format.nat)
+             ($.definition \\format.int)
+             ($.definition \\format.rev)
+             ($.definition \\format.frac)
+             ($.definition \\format.text)
              
-             ($.default \\format.ratio)
-             ($.default \\format.symbol)
-             ($.default \\format.location)
-             ($.default \\format.code)
-             ($.default \\format.type)
+             ($.definition \\format.ratio)
+             ($.definition \\format.symbol)
+             ($.definition \\format.location)
+             ($.definition \\format.code)
+             ($.definition \\format.type)
              
-             ($.default \\format.instant)
-             ($.default \\format.duration)
-             ($.default \\format.date)
-             ($.default \\format.time)
-             ($.default \\format.day)
-             ($.default \\format.month)
+             ($.definition \\format.instant)
+             ($.definition \\format.duration)
+             ($.definition \\format.date)
+             ($.definition \\format.time)
+             ($.definition \\format.day)
+             ($.definition \\format.month)
              
-             ($.default \\format.xml)
-             ($.default \\format.json)
-
-             ($.default \\format.nat_2)
-             ($.default \\format.nat_8)
-             ($.default \\format.nat_10)
-             ($.default \\format.nat_16)
-             ($.default \\format.int_2)
-             ($.default \\format.int_8)
-             ($.default \\format.int_10)
-             ($.default \\format.int_16)
-             ($.default \\format.rev_2)
-             ($.default \\format.rev_8)
-             ($.default \\format.rev_10)
-             ($.default \\format.rev_16)
-             ($.default \\format.frac_2)
-             ($.default \\format.frac_8)
-             ($.default \\format.frac_10)
-             ($.default \\format.frac_16)
+             ($.definition \\format.xml)
+             ($.definition \\format.json)
+
+             ($.definition \\format.nat_2)
+             ($.definition \\format.nat_8)
+             ($.definition \\format.nat_10)
+             ($.definition \\format.nat_16)
+             ($.definition \\format.int_2)
+             ($.definition \\format.int_8)
+             ($.definition \\format.int_10)
+             ($.definition \\format.int_16)
+             ($.definition \\format.rev_2)
+             ($.definition \\format.rev_8)
+             ($.definition \\format.rev_10)
+             ($.definition \\format.rev_16)
+             ($.definition \\format.frac_2)
+             ($.definition \\format.frac_8)
+             ($.definition \\format.frac_10)
+             ($.definition \\format.frac_16)
              
-             ($.default \\format.mod)
-             ($.default \\format.list)
-             ($.default \\format.maybe)
+             ($.definition \\format.mod)
+             ($.definition \\format.list)
+             ($.definition \\format.maybe)
 
              ($.definition (\\format.Format it)
                "A way to produce readable text from values.")
@@ -78,14 +78,14 @@
       (.List $.Module)
       ($.module \\parser._
                 ""
-                [($.default \\parser.unconsumed_input)
-                 ($.default \\parser.expected_to_fail)
-                 ($.default \\parser.cannot_parse)
-                 ($.default \\parser.cannot_slice)
-                 ($.default \\parser.cannot_match)
-                 ($.default \\parser.character_should_be)
-                 ($.default \\parser.character_should_not_be)
-                 ($.default \\parser.character_does_not_satisfy_predicate)
+                [($.definition \\parser.unconsumed_input)
+                 ($.definition \\parser.expected_to_fail)
+                 ($.definition \\parser.cannot_parse)
+                 ($.definition \\parser.cannot_slice)
+                 ($.definition \\parser.cannot_match)
+                 ($.definition \\parser.character_should_be)
+                 ($.definition \\parser.character_should_not_be)
+                 ($.definition \\parser.character_does_not_satisfy_predicate)
 
                  ($.definition \\parser.Offset
                    "An offset into a block of text.")
@@ -235,38 +235,38 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.of_char)
-
-             ($.default /.\0)
-             ($.default /.null)
-             ($.default /.\a)
-             ($.default /.alarm)
-             ($.default /.\b)
-             ($.default /.back_space)
-             ($.default /.\t)
-             ($.default /.tab)
-             ($.default /.\n)
-             ($.default /.new_line)
-             ($.default /.\v)
-             ($.default /.vertical_tab)
-             ($.default /.\f)
-             ($.default /.form_feed)
-             ($.default /.\r)
-             ($.default /.carriage_return)
-             ($.default /.\'')
-             ($.default /.double_quote)
+            [($.definition /.of_char)
+
+             ($.definition /.\0)
+             ($.definition /.null)
+             ($.definition /.\a)
+             ($.definition /.alarm)
+             ($.definition /.\b)
+             ($.definition /.back_space)
+             ($.definition /.\t)
+             ($.definition /.tab)
+             ($.definition /.\n)
+             ($.definition /.new_line)
+             ($.definition /.\v)
+             ($.definition /.vertical_tab)
+             ($.definition /.\f)
+             ($.definition /.form_feed)
+             ($.definition /.\r)
+             ($.definition /.carriage_return)
+             ($.definition /.\'')
+             ($.definition /.double_quote)
              
-             ($.default /.size)
-             ($.default /.format)
-             ($.default /.equivalence)
-             ($.default /.order)
-             ($.default /.monoid)
-             ($.default /.hash)
-             ($.default /.together)
-             ($.default /.empty?)
-             ($.default /.space)
-             ($.default /.lower_cased)
-             ($.default /.upper_cased)
+             ($.definition /.size)
+             ($.definition /.format)
+             ($.definition /.equivalence)
+             ($.definition /.order)
+             ($.definition /.monoid)
+             ($.definition /.hash)
+             ($.definition /.together)
+             ($.definition /.empty?)
+             ($.definition /.space)
+             ($.definition /.lower_cased)
+             ($.definition /.upper_cased)
 
              ($.definition /.Char
                "A character code number.")
diff --git a/stdlib/source/documentation/lux/data/text/buffer.lux b/stdlib/source/documentation/lux/data/text/buffer.lux
index 38bd18830..6c8fc5c5f 100644
--- a/stdlib/source/documentation/lux/data/text/buffer.lux
+++ b/stdlib/source/documentation/lux/data/text/buffer.lux
@@ -12,10 +12,10 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.empty)
-             ($.default /.then)
-             ($.default /.size)
-             ($.default /.text)
+            [($.definition /.empty)
+             ($.definition /.then)
+             ($.definition /.size)
+             ($.definition /.text)
 
              ($.definition /.Buffer
                "Immutable text buffer for efficient text concatenation.")]
diff --git a/stdlib/source/documentation/lux/data/text/encoding.lux b/stdlib/source/documentation/lux/data/text/encoding.lux
index 40366df2c..2acadb26e 100644
--- a/stdlib/source/documentation/lux/data/text/encoding.lux
+++ b/stdlib/source/documentation/lux/data/text/encoding.lux
@@ -14,7 +14,7 @@
       (.List $.Module)
       ($.module /._
                 ""
-                [($.default /.name)
+                [($.definition /.name)
 
                  ($.definition /.Encoding
                    "Encoding formats for text.")
diff --git a/stdlib/source/documentation/lux/data/text/escape.lux b/stdlib/source/documentation/lux/data/text/escape.lux
index 25081c655..91c23806d 100644
--- a/stdlib/source/documentation/lux/data/text/escape.lux
+++ b/stdlib/source/documentation/lux/data/text/escape.lux
@@ -12,10 +12,10 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.escapable?)
-             ($.default /.dangling_escape)
-             ($.default /.invalid_escape)
-             ($.default /.invalid_unicode_escape)
+            [($.definition /.escapable?)
+             ($.definition /.dangling_escape)
+             ($.definition /.invalid_escape)
+             ($.definition /.invalid_unicode_escape)
 
              ($.definition /.escaped
                "Yields a escaped version of the text."
diff --git a/stdlib/source/documentation/lux/data/text/regex.lux b/stdlib/source/documentation/lux/data/text/regex.lux
index b939df37d..cd8511743 100644
--- a/stdlib/source/documentation/lux/data/text/regex.lux
+++ b/stdlib/source/documentation/lux/data/text/regex.lux
@@ -12,7 +12,7 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.incorrect_quantification)
+            [($.definition /.incorrect_quantification)
 
              ($.definition /.regex
                "Create lexers using regular-expression syntax."
diff --git a/stdlib/source/documentation/lux/data/text/unicode/block.lux b/stdlib/source/documentation/lux/data/text/unicode/block.lux
index 72f45cdaa..3c5ea5c8f 100644
--- a/stdlib/source/documentation/lux/data/text/unicode/block.lux
+++ b/stdlib/source/documentation/lux/data/text/unicode/block.lux
@@ -15,12 +15,12 @@
       (.List $.Module)
       ($.module /._
                 ""
-                [($.default /.monoid)
-                 ($.default /.start)
-                 ($.default /.end)
-                 ($.default /.size)
-                 ($.default /.equivalence)
-                 ($.default /.hash)
+                [($.definition /.monoid)
+                 ($.definition /.start)
+                 ($.definition /.end)
+                 ($.definition /.size)
+                 ($.definition /.equivalence)
+                 ($.definition /.hash)
 
                  ($.definition /.Block
                    "A block of valid unicode characters.")
diff --git a/stdlib/source/documentation/lux/data/text/unicode/set.lux b/stdlib/source/documentation/lux/data/text/unicode/set.lux
index 57040bb69..268affa1b 100644
--- a/stdlib/source/documentation/lux/data/text/unicode/set.lux
+++ b/stdlib/source/documentation/lux/data/text/unicode/set.lux
@@ -12,21 +12,21 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.Set)
-             ($.default /.composite)
-             ($.default /.character)
-             ($.default /.non_character)
-             ($.default /.full)
-             ($.default /.start)
-             ($.default /.end)
-             ($.default /.equivalence)
+            [($.definition /.Set)
+             ($.definition /.composite)
+             ($.definition /.character)
+             ($.definition /.non_character)
+             ($.definition /.full)
+             ($.definition /.start)
+             ($.definition /.end)
+             ($.definition /.equivalence)
 
-             ($.default /.ascii)
-             ($.default /.alphabetic)
-             ($.default /.alpha_numeric)
-             ($.default /.numeric)
-             ($.default /.upper_case)
-             ($.default /.lower_case)
+             ($.definition /.ascii)
+             ($.definition /.alphabetic)
+             ($.definition /.alpha_numeric)
+             ($.definition /.numeric)
+             ($.definition /.upper_case)
+             ($.definition /.lower_case)
 
              ($.definition /.set
                ""