2 files changed, 6 insertions, 10 deletions
diff --git a/new-luxc/source/luxc/lang/analysis.lux b/new-luxc/source/luxc/lang/analysis.lux
index 2e122a526..308296086 100644
--- a/new-luxc/source/luxc/lang/analysis.lux
+++ b/new-luxc/source/luxc/lang/analysis.lux
@@ -4,16 +4,15 @@
        (data (coll [list "L/" Fold<List>]))))
 
 (type: #export #rec Pattern
-  (#BindP Nat)
   (#BoolP Bool)
   (#NatP Nat)
   (#IntP Int)
   (#DegP Deg)
   (#RealP Real)
-  (#CharP Char)
   (#TextP Text)
   (#TupleP (List Pattern))
-  (#VariantP Nat Nat Pattern))
+  (#VariantP Nat Nat Pattern)
+  (#BindP Nat))
 
 (type: #export #rec Analysis
   #Unit
@@ -22,7 +21,6 @@
   (#Int Int)
   (#Deg Deg)
   (#Real Real)
-  (#Char Char)
   (#Text Text)
   (#Sum (Either Analysis Analysis))
   (#Product Analysis Analysis)
diff --git a/new-luxc/source/luxc/lang/synthesis.lux b/new-luxc/source/luxc/lang/synthesis.lux
index b86f49fb2..ad31d0138 100644
--- a/new-luxc/source/luxc/lang/synthesis.lux
+++ b/new-luxc/source/luxc/lang/synthesis.lux
@@ -6,17 +6,16 @@
 (def: #export Variable Int)
 
 (type: #export (Path' s)
-  #PopP
-  (#BindP Nat)
+  #UnitP
   (#BoolP Bool)
   (#NatP Nat)
   (#IntP Int)
   (#DegP Deg)
   (#RealP Real)
-  (#CharP Char)
   (#TextP Text)
-  (#VariantP (Either Nat Nat))
-  (#TupleP (Either Nat Nat))
+  (#VariantP (Either Nat Nat) (Path' s))
+  (#TupleP (Either Nat Nat) (Path' s))
+  (#BindP Nat)
   (#AltP (Path' s) (Path' s))
   (#SeqP (Path' s) (Path' s))
   (#ExecP s))
@@ -28,7 +27,6 @@
   (#Int Int)
   (#Deg Deg)
   (#Real Real)
-  (#Char Char)
   (#Text Text)
   (#Variant Nat Bool Synthesis)
   (#Tuple (List Synthesis))