diff --git a/grammar.js b/grammar.js
index a7f23a0..0b8302b 100644
--- a/grammar.js
+++ b/grammar.js
@@ -46,23 +46,15 @@ module.exports = grammar({
       ';'
     ),
 
-    variable_binding : $ => seq(
-      '(',
-      repeat1(choice($.identifier, $.symbol)),
-      ':',
-      field('type', $.expr),
-      ')',
-    ),
-
     variable : $ => seq(
       choice('variable', 'hypothesis'),
-      repeat1($.variable_binding),
+      repeat1($.param_block),
       ';'
     ),
 
     param_block : $ => seq(
       '(',
-      field('param', repeat1($.identifier)),
+      field('param', repeat1(choice($.identifier, $.symbol))),
       ':',
       field('type', $.expr),
       ')'
diff --git a/src/grammar.json b/src/grammar.json
index cb61b9a..30821d5 100644
--- a/src/grammar.json
+++ b/src/grammar.json
@@ -116,47 +116,6 @@
         }
       ]
     },
-    "variable_binding": {
-      "type": "SEQ",
-      "members": [
-        {
-          "type": "STRING",
-          "value": "("
-        },
-        {
-          "type": "REPEAT1",
-          "content": {
-            "type": "CHOICE",
-            "members": [
-              {
-                "type": "SYMBOL",
-                "name": "identifier"
-              },
-              {
-                "type": "SYMBOL",
-                "name": "symbol"
-              }
-            ]
-          }
-        },
-        {
-          "type": "STRING",
-          "value": ":"
-        },
-        {
-          "type": "FIELD",
-          "name": "type",
-          "content": {
-            "type": "SYMBOL",
-            "name": "expr"
-          }
-        },
-        {
-          "type": "STRING",
-          "value": ")"
-        }
-      ]
-    },
     "variable": {
       "type": "SEQ",
       "members": [
@@ -177,7 +136,7 @@
           "type": "REPEAT1",
           "content": {
             "type": "SYMBOL",
-            "name": "variable_binding"
+            "name": "param_block"
           }
         },
         {
@@ -199,8 +158,17 @@
           "content": {
             "type": "REPEAT1",
             "content": {
-              "type": "SYMBOL",
-              "name": "identifier"
+              "type": "CHOICE",
+              "members": [
+                {
+                  "type": "SYMBOL",
+                  "name": "identifier"
+                },
+                {
+                  "type": "SYMBOL",
+                  "name": "symbol"
+                }
+              ]
             }
           }
         },
diff --git a/src/node-types.json b/src/node-types.json
index 946cfa7..7dc1e53 100644
--- a/src/node-types.json
+++ b/src/node-types.json
@@ -359,6 +359,10 @@
           {
             "type": "identifier",
             "named": true
+          },
+          {
+            "type": "symbol",
+            "named": true
           }
         ]
       },
@@ -507,37 +511,7 @@
       "required": true,
       "types": [
         {
-          "type": "variable_binding",
-          "named": true
-        }
-      ]
-    }
-  },
-  {
-    "type": "variable_binding",
-    "named": true,
-    "fields": {
-      "type": {
-        "multiple": false,
-        "required": true,
-        "types": [
-          {
-            "type": "expr",
-            "named": true
-          }
-        ]
-      }
-    },
-    "children": {
-      "multiple": true,
-      "required": true,
-      "types": [
-        {
-          "type": "identifier",
-          "named": true
-        },
-        {
-          "type": "symbol",
+          "type": "param_block",
           "named": true
         }
       ]
diff --git a/src/parser.c b/src/parser.c
index a476061..0e40ac5 100644
--- a/src/parser.c
+++ b/src/parser.c
@@ -5,15 +5,15 @@
 #endif
 
 #define LANGUAGE_VERSION 14
-#define STATE_COUNT 174
+#define STATE_COUNT 168
 #define LARGE_STATE_COUNT 2
-#define SYMBOL_COUNT 67
+#define SYMBOL_COUNT 65
 #define ALIAS_COUNT 0
 #define TOKEN_COUNT 36
 #define EXTERNAL_TOKEN_COUNT 0
 #define FIELD_COUNT 3
 #define MAX_ALIAS_SEQUENCE_LENGTH 7
-#define PRODUCTION_ID_COUNT 5
+#define PRODUCTION_ID_COUNT 4
 
 enum ts_symbol_identifiers {
   sym_identifier = 1,
@@ -25,11 +25,11 @@ enum ts_symbol_identifiers {
   anon_sym_infixl = 7,
   anon_sym_infixr = 8,
   anon_sym_SEMI = 9,
-  anon_sym_LPAREN = 10,
-  anon_sym_COLON = 11,
-  anon_sym_RPAREN = 12,
-  anon_sym_variable = 13,
-  anon_sym_hypothesis = 14,
+  anon_sym_variable = 10,
+  anon_sym_hypothesis = 11,
+  anon_sym_LPAREN = 12,
+  anon_sym_COLON = 13,
+  anon_sym_RPAREN = 14,
   sym_star = 15,
   anon_sym_u25a1 = 16,
   anon_sym_LBRACK_RBRACK = 17,
@@ -54,34 +54,32 @@ enum ts_symbol_identifiers {
   sym_program = 36,
   sym_section = 37,
   sym_fixity = 38,
-  sym_variable_binding = 39,
-  sym_variable = 40,
-  sym_param_block = 41,
-  sym_square = 42,
-  sym_sort = 43,
-  sym_labs = 44,
-  sym_labs_alt = 45,
-  sym_pabs = 46,
-  sym_op_section = 47,
-  sym_term = 48,
-  sym_binex = 49,
-  sym_binding = 50,
-  sym_let = 51,
-  sym_app = 52,
-  sym_arrow = 53,
-  sym_app_term = 54,
-  sym_expr = 55,
-  sym_ascription = 56,
-  sym_axiom = 57,
-  sym_definition = 58,
-  sym_preprocess = 59,
-  aux_sym_program_repeat1 = 60,
-  aux_sym_variable_binding_repeat1 = 61,
-  aux_sym_variable_repeat1 = 62,
-  aux_sym_param_block_repeat1 = 63,
-  aux_sym_labs_repeat1 = 64,
-  aux_sym_let_repeat1 = 65,
-  aux_sym_app_repeat1 = 66,
+  sym_variable = 39,
+  sym_param_block = 40,
+  sym_square = 41,
+  sym_sort = 42,
+  sym_labs = 43,
+  sym_labs_alt = 44,
+  sym_pabs = 45,
+  sym_op_section = 46,
+  sym_term = 47,
+  sym_binex = 48,
+  sym_binding = 49,
+  sym_let = 50,
+  sym_app = 51,
+  sym_arrow = 52,
+  sym_app_term = 53,
+  sym_expr = 54,
+  sym_ascription = 55,
+  sym_axiom = 56,
+  sym_definition = 57,
+  sym_preprocess = 58,
+  aux_sym_program_repeat1 = 59,
+  aux_sym_variable_repeat1 = 60,
+  aux_sym_param_block_repeat1 = 61,
+  aux_sym_labs_alt_repeat1 = 62,
+  aux_sym_let_repeat1 = 63,
+  aux_sym_app_repeat1 = 64,
 };
 
 static const char * const ts_symbol_names[] = {
@@ -95,11 +93,11 @@ static const char * const ts_symbol_names[] = {
   [anon_sym_infixl] = "infixl",
   [anon_sym_infixr] = "infixr",
   [anon_sym_SEMI] = ";",
+  [anon_sym_variable] = "variable",
+  [anon_sym_hypothesis] = "hypothesis",
   [anon_sym_LPAREN] = "(",
   [anon_sym_COLON] = ":",
   [anon_sym_RPAREN] = ")",
-  [anon_sym_variable] = "variable",
-  [anon_sym_hypothesis] = "hypothesis",
   [sym_star] = "star",
   [anon_sym_u25a1] = "\u25a1",
   [anon_sym_LBRACK_RBRACK] = "[]",
@@ -124,7 +122,6 @@ static const char * const ts_symbol_names[] = {
   [sym_program] = "program",
   [sym_section] = "section",
   [sym_fixity] = "fixity",
-  [sym_variable_binding] = "variable_binding",
   [sym_variable] = "variable",
   [sym_param_block] = "param_block",
   [sym_square] = "square",
@@ -146,10 +143,9 @@ static const char * const ts_symbol_names[] = {
   [sym_definition] = "definition",
   [sym_preprocess] = "preprocess",
   [aux_sym_program_repeat1] = "program_repeat1",
-  [aux_sym_variable_binding_repeat1] = "variable_binding_repeat1",
   [aux_sym_variable_repeat1] = "variable_repeat1",
   [aux_sym_param_block_repeat1] = "param_block_repeat1",
-  [aux_sym_labs_repeat1] = "labs_repeat1",
+  [aux_sym_labs_alt_repeat1] = "labs_alt_repeat1",
   [aux_sym_let_repeat1] = "let_repeat1",
   [aux_sym_app_repeat1] = "app_repeat1",
 };
@@ -165,11 +161,11 @@ static const TSSymbol ts_symbol_map[] = {
   [anon_sym_infixl] = anon_sym_infixl,
   [anon_sym_infixr] = anon_sym_infixr,
   [anon_sym_SEMI] = anon_sym_SEMI,
+  [anon_sym_variable] = anon_sym_variable,
+  [anon_sym_hypothesis] = anon_sym_hypothesis,
   [anon_sym_LPAREN] = anon_sym_LPAREN,
   [anon_sym_COLON] = anon_sym_COLON,
   [anon_sym_RPAREN] = anon_sym_RPAREN,
-  [anon_sym_variable] = anon_sym_variable,
-  [anon_sym_hypothesis] = anon_sym_hypothesis,
   [sym_star] = sym_star,
   [anon_sym_u25a1] = anon_sym_u25a1,
   [anon_sym_LBRACK_RBRACK] = anon_sym_LBRACK_RBRACK,
@@ -194,7 +190,6 @@ static const TSSymbol ts_symbol_map[] = {
   [sym_program] = sym_program,
   [sym_section] = sym_section,
   [sym_fixity] = sym_fixity,
-  [sym_variable_binding] = sym_variable_binding,
   [sym_variable] = sym_variable,
   [sym_param_block] = sym_param_block,
   [sym_square] = sym_square,
@@ -216,10 +211,9 @@ static const TSSymbol ts_symbol_map[] = {
   [sym_definition] = sym_definition,
   [sym_preprocess] = sym_preprocess,
   [aux_sym_program_repeat1] = aux_sym_program_repeat1,
-  [aux_sym_variable_binding_repeat1] = aux_sym_variable_binding_repeat1,
   [aux_sym_variable_repeat1] = aux_sym_variable_repeat1,
   [aux_sym_param_block_repeat1] = aux_sym_param_block_repeat1,
-  [aux_sym_labs_repeat1] = aux_sym_labs_repeat1,
+  [aux_sym_labs_alt_repeat1] = aux_sym_labs_alt_repeat1,
   [aux_sym_let_repeat1] = aux_sym_let_repeat1,
   [aux_sym_app_repeat1] = aux_sym_app_repeat1,
 };
@@ -265,6 +259,14 @@ static const TSSymbolMetadata ts_symbol_metadata[] = {
     .visible = true,
     .named = false,
   },
+  [anon_sym_variable] = {
+    .visible = true,
+    .named = false,
+  },
+  [anon_sym_hypothesis] = {
+    .visible = true,
+    .named = false,
+  },
   [anon_sym_LPAREN] = {
     .visible = true,
     .named = false,
@@ -277,14 +279,6 @@ static const TSSymbolMetadata ts_symbol_metadata[] = {
     .visible = true,
     .named = false,
   },
-  [anon_sym_variable] = {
-    .visible = true,
-    .named = false,
-  },
-  [anon_sym_hypothesis] = {
-    .visible = true,
-    .named = false,
-  },
   [sym_star] = {
     .visible = true,
     .named = true,
@@ -381,10 +375,6 @@ static const TSSymbolMetadata ts_symbol_metadata[] = {
     .visible = true,
     .named = true,
   },
-  [sym_variable_binding] = {
-    .visible = true,
-    .named = true,
-  },
   [sym_variable] = {
     .visible = true,
     .named = true,
@@ -469,10 +459,6 @@ static const TSSymbolMetadata ts_symbol_metadata[] = {
     .visible = false,
     .named = false,
   },
-  [aux_sym_variable_binding_repeat1] = {
-    .visible = false,
-    .named = false,
-  },
   [aux_sym_variable_repeat1] = {
     .visible = false,
     .named = false,
@@ -481,7 +467,7 @@ static const TSSymbolMetadata ts_symbol_metadata[] = {
     .visible = false,
     .named = false,
   },
-  [aux_sym_labs_repeat1] = {
+  [aux_sym_labs_alt_repeat1] = {
     .visible = false,
     .named = false,
   },
@@ -511,8 +497,7 @@ static const char * const ts_field_names[] = {
 static const TSFieldMapSlice ts_field_map_slices[PRODUCTION_ID_COUNT] = {
   [1] = {.index = 0, .length = 1},
   [2] = {.index = 1, .length = 1},
-  [3] = {.index = 2, .length = 1},
-  [4] = {.index = 3, .length = 2},
+  [3] = {.index = 2, .length = 2},
 };
 
 static const TSFieldMapEntry ts_field_map_entries[] = {
@@ -521,8 +506,6 @@ static const TSFieldMapEntry ts_field_map_entries[] = {
   [1] =
     {field_name, 1},
   [2] =
-    {field_type, 3},
-  [3] =
     {field_param, 1},
     {field_type, 3},
 };
@@ -548,66 +531,66 @@ static const TSStateId ts_primary_state_ids[STATE_COUNT] = {
   [9] = 9,
   [10] = 10,
   [11] = 11,
-  [12] = 12,
-  [13] = 5,
+  [12] = 7,
+  [13] = 13,
   [14] = 14,
   [15] = 15,
   [16] = 16,
-  [17] = 17,
-  [18] = 18,
-  [19] = 10,
-  [20] = 12,
-  [21] = 21,
-  [22] = 16,
-  [23] = 6,
+  [17] = 9,
+  [18] = 11,
+  [19] = 19,
+  [20] = 20,
+  [21] = 13,
+  [22] = 5,
+  [23] = 20,
   [24] = 8,
-  [25] = 11,
-  [26] = 21,
+  [25] = 10,
+  [26] = 26,
   [27] = 27,
   [28] = 28,
-  [29] = 29,
-  [30] = 27,
-  [31] = 28,
-  [32] = 32,
-  [33] = 33,
-  [34] = 33,
-  [35] = 32,
-  [36] = 29,
-  [37] = 37,
+  [29] = 26,
+  [30] = 30,
+  [31] = 31,
+  [32] = 30,
+  [33] = 27,
+  [34] = 31,
+  [35] = 28,
+  [36] = 36,
+  [37] = 36,
   [38] = 38,
-  [39] = 37,
+  [39] = 39,
   [40] = 40,
   [41] = 41,
   [42] = 42,
   [43] = 43,
   [44] = 44,
   [45] = 45,
-  [46] = 38,
+  [46] = 46,
   [47] = 47,
   [48] = 48,
   [49] = 49,
-  [50] = 50,
-  [51] = 48,
-  [52] = 40,
-  [53] = 50,
-  [54] = 54,
+  [50] = 47,
+  [51] = 51,
+  [52] = 52,
+  [53] = 39,
+  [54] = 38,
   [55] = 55,
   [56] = 56,
-  [57] = 57,
-  [58] = 58,
-  [59] = 54,
-  [60] = 58,
-  [61] = 56,
-  [62] = 55,
-  [63] = 49,
-  [64] = 57,
-  [65] = 47,
-  [66] = 41,
-  [67] = 42,
-  [68] = 44,
-  [69] = 45,
-  [70] = 70,
-  [71] = 43,
+  [57] = 46,
+  [58] = 55,
+  [59] = 48,
+  [60] = 49,
+  [61] = 61,
+  [62] = 56,
+  [63] = 51,
+  [64] = 52,
+  [65] = 61,
+  [66] = 44,
+  [67] = 40,
+  [68] = 43,
+  [69] = 42,
+  [70] = 41,
+  [71] = 71,
   [72] = 72,
   [73] = 73,
   [74] = 74,
@@ -621,51 +604,51 @@ static const TSStateId ts_primary_state_ids[STATE_COUNT] = {
   [82] = 82,
   [83] = 83,
   [84] = 84,
-  [85] = 85,
-  [86] = 75,
-  [87] = 73,
+  [85] = 73,
+  [86] = 78,
+  [87] = 87,
   [88] = 88,
-  [89] = 88,
-  [90] = 90,
+  [89] = 89,
+  [90] = 87,
   [91] = 91,
-  [92] = 92,
-  [93] = 92,
-  [94] = 90,
+  [92] = 88,
+  [93] = 89,
+  [94] = 94,
   [95] = 95,
   [96] = 96,
   [97] = 97,
   [98] = 98,
-  [99] = 99,
-  [100] = 100,
-  [101] = 100,
-  [102] = 98,
+  [99] = 95,
+  [100] = 94,
+  [101] = 101,
+  [102] = 102,
   [103] = 103,
-  [104] = 104,
-  [105] = 104,
+  [104] = 102,
+  [105] = 105,
   [106] = 106,
   [107] = 107,
   [108] = 108,
-  [109] = 79,
-  [110] = 110,
+  [109] = 75,
+  [110] = 106,
   [111] = 111,
-  [112] = 111,
-  [113] = 113,
-  [114] = 110,
-  [115] = 113,
+  [112] = 105,
+  [113] = 111,
+  [114] = 91,
+  [115] = 115,
   [116] = 116,
   [117] = 117,
   [118] = 118,
   [119] = 119,
-  [120] = 120,
+  [120] = 115,
   [121] = 121,
-  [122] = 91,
+  [122] = 117,
   [123] = 123,
-  [124] = 124,
+  [124] = 118,
   [125] = 125,
   [126] = 126,
-  [127] = 118,
-  [128] = 125,
-  [129] = 117,
+  [127] = 127,
+  [128] = 128,
+  [129] = 129,
   [130] = 130,
   [131] = 131,
   [132] = 132,
@@ -673,43 +656,37 @@ static const TSStateId ts_primary_state_ids[STATE_COUNT] = {
   [134] = 134,
   [135] = 135,
   [136] = 136,
-  [137] = 137,
+  [137] = 133,
   [138] = 138,
-  [139] = 139,
-  [140] = 130,
-  [141] = 141,
-  [142] = 132,
+  [139] = 125,
+  [140] = 140,
+  [141] = 127,
+  [142] = 142,
   [143] = 143,
-  [144] = 144,
+  [144] = 135,
   [145] = 145,
   [146] = 146,
   [147] = 147,
   [148] = 148,
-  [149] = 149,
-  [150] = 149,
-  [151] = 151,
+  [149] = 147,
+  [150] = 130,
+  [151] = 136,
   [152] = 152,
   [153] = 153,
-  [154] = 137,
-  [155] = 151,
-  [156] = 156,
+  [154] = 142,
+  [155] = 128,
+  [156] = 152,
   [157] = 157,
-  [158] = 141,
-  [159] = 147,
-  [160] = 143,
-  [161] = 144,
-  [162] = 145,
-  [163] = 163,
-  [164] = 164,
-  [165] = 153,
-  [166] = 136,
-  [167] = 148,
-  [168] = 152,
-  [169] = 134,
-  [170] = 133,
-  [171] = 171,
-  [172] = 172,
-  [173] = 138,
+  [158] = 143,
+  [159] = 159,
+  [160] = 153,
+  [161] = 161,
+  [162] = 157,
+  [163] = 132,
+  [164] = 140,
+  [165] = 131,
+  [166] = 166,
+  [167] = 159,
 };
 
 static TSCharacterRange sym_symbol_character_set_1[] = {
@@ -724,11 +701,11 @@ static bool ts_lex(TSLexer *lexer, TSStateId state) {
     case 0:
       if (eof) ADVANCE(62);
       ADVANCE_MAP(
-        '(', 85,
-        ')', 87,
+        '(', 87,
+        ')', 89,
         ',', 106,
         '-', 6,
-        ':', 86,
+        ':', 88,
         ';', 84,
         '=', 74,
         '[', 100,
@@ -764,10 +741,10 @@ static bool ts_lex(TSLexer *lexer, TSStateId state) {
       END_STATE();
     case 2:
       ADVANCE_MAP(
-        '(', 85,
-        ')', 87,
+        '(', 87,
+        ')', 89,
         '-', 6,
-        ':', 86,
+        ':', 88,
         ';', 84,
         '[', 9,
         ']', 101,
@@ -784,8 +761,8 @@ static bool ts_lex(TSLexer *lexer, TSStateId state) {
       END_STATE();
     case 3:
       ADVANCE_MAP(
-        '(', 85,
-        ')', 87,
+        '(', 87,
+        ')', 89,
         '-', 6,
         ':', 7,
         ';', 84,
@@ -805,7 +782,7 @@ static bool ts_lex(TSLexer *lexer, TSStateId state) {
       if (('A' <= lookahead && lookahead <= 'z')) ADVANCE(73);
       END_STATE();
     case 4:
-      if (lookahead == '(') ADVANCE(85);
+      if (lookahead == '(') ADVANCE(87);
       if (lookahead == '-') ADVANCE(6);
       if (lookahead == '[') ADVANCE(9);
       if (lookahead == 'e') ADVANCE(69);
@@ -877,7 +854,7 @@ static bool ts_lex(TSLexer *lexer, TSStateId state) {
       if (lookahead == 'e') ADVANCE(53);
       END_STATE();
     case 22:
-      if (lookahead == 'e') ADVANCE(88);
+      if (lookahead == 'e') ADVANCE(85);
       END_STATE();
     case 23:
       if (lookahead == 'e') ADVANCE(117);
@@ -969,7 +946,7 @@ static bool ts_lex(TSLexer *lexer, TSStateId state) {
       if (lookahead == 'r') ADVANCE(30);
       END_STATE();
     case 52:
-      if (lookahead == 's') ADVANCE(89);
+      if (lookahead == 's') ADVANCE(86);
       END_STATE();
     case 53:
       if (lookahead == 's') ADVANCE(29);
@@ -998,10 +975,11 @@ static bool ts_lex(TSLexer *lexer, TSStateId state) {
     case 61:
       if (eof) ADVANCE(62);
       ADVANCE_MAP(
-        '(', 85,
+        '(', 87,
         ',', 105,
         '-', 6,
-        ':', 86,
+        ':', 88,
+        ';', 84,
         '=', 8,
         '@', 32,
         'a', 58,
@@ -1154,20 +1132,20 @@ static bool ts_lex(TSLexer *lexer, TSStateId state) {
       ACCEPT_TOKEN(anon_sym_SEMI);
       END_STATE();
     case 85:
-      ACCEPT_TOKEN(anon_sym_LPAREN);
+      ACCEPT_TOKEN(anon_sym_variable);
       END_STATE();
     case 86:
+      ACCEPT_TOKEN(anon_sym_hypothesis);
+      END_STATE();
+    case 87:
+      ACCEPT_TOKEN(anon_sym_LPAREN);
+      END_STATE();
+    case 88:
       ACCEPT_TOKEN(anon_sym_COLON);
       if (lookahead == '=') ADVANCE(107);
       END_STATE();
-    case 87:
-      ACCEPT_TOKEN(anon_sym_RPAREN);
-      END_STATE();
-    case 88:
-      ACCEPT_TOKEN(anon_sym_variable);
-      END_STATE();
     case 89:
-      ACCEPT_TOKEN(anon_sym_hypothesis);
+      ACCEPT_TOKEN(anon_sym_RPAREN);
       END_STATE();
     case 90:
       ACCEPT_TOKEN(sym_star);
@@ -1313,17 +1291,17 @@ static const TSLexMode ts_lex_modes[STATE_COUNT] = {
   [23] = {.lex_state = 3},
   [24] = {.lex_state = 3},
   [25] = {.lex_state = 3},
-  [26] = {.lex_state = 3},
+  [26] = {.lex_state = 61},
   [27] = {.lex_state = 61},
-  [28] = {.lex_state = 61},
-  [29] = {.lex_state = 2},
+  [28] = {.lex_state = 2},
+  [29] = {.lex_state = 61},
   [30] = {.lex_state = 61},
-  [31] = {.lex_state = 61},
-  [32] = {.lex_state = 2},
+  [31] = {.lex_state = 2},
+  [32] = {.lex_state = 61},
   [33] = {.lex_state = 61},
-  [34] = {.lex_state = 61},
+  [34] = {.lex_state = 4},
   [35] = {.lex_state = 4},
-  [36] = {.lex_state = 4},
+  [36] = {.lex_state = 2},
   [37] = {.lex_state = 2},
   [38] = {.lex_state = 2},
   [39] = {.lex_state = 2},
@@ -1332,16 +1310,16 @@ static const TSLexMode ts_lex_modes[STATE_COUNT] = {
   [42] = {.lex_state = 2},
   [43] = {.lex_state = 2},
   [44] = {.lex_state = 2},
-  [45] = {.lex_state = 2},
-  [46] = {.lex_state = 4},
+  [45] = {.lex_state = 61},
+  [46] = {.lex_state = 61},
   [47] = {.lex_state = 61},
   [48] = {.lex_state = 61},
   [49] = {.lex_state = 61},
   [50] = {.lex_state = 61},
   [51] = {.lex_state = 61},
-  [52] = {.lex_state = 4},
-  [53] = {.lex_state = 61},
-  [54] = {.lex_state = 61},
+  [52] = {.lex_state = 61},
+  [53] = {.lex_state = 4},
+  [54] = {.lex_state = 4},
   [55] = {.lex_state = 61},
   [56] = {.lex_state = 61},
   [57] = {.lex_state = 61},
@@ -1357,110 +1335,104 @@ static const TSLexMode ts_lex_modes[STATE_COUNT] = {
   [67] = {.lex_state = 4},
   [68] = {.lex_state = 4},
   [69] = {.lex_state = 4},
-  [70] = {.lex_state = 61},
-  [71] = {.lex_state = 4},
+  [70] = {.lex_state = 4},
+  [71] = {.lex_state = 61},
   [72] = {.lex_state = 0},
   [73] = {.lex_state = 0},
   [74] = {.lex_state = 0},
-  [75] = {.lex_state = 0},
+  [75] = {.lex_state = 3},
   [76] = {.lex_state = 0},
   [77] = {.lex_state = 0},
   [78] = {.lex_state = 0},
-  [79] = {.lex_state = 3},
+  [79] = {.lex_state = 0},
   [80] = {.lex_state = 0},
   [81] = {.lex_state = 0},
-  [82] = {.lex_state = 61},
+  [82] = {.lex_state = 0},
   [83] = {.lex_state = 0},
   [84] = {.lex_state = 0},
   [85] = {.lex_state = 0},
   [86] = {.lex_state = 0},
   [87] = {.lex_state = 0},
   [88] = {.lex_state = 0},
-  [89] = {.lex_state = 0},
-  [90] = {.lex_state = 61},
+  [89] = {.lex_state = 61},
+  [90] = {.lex_state = 0},
   [91] = {.lex_state = 0},
   [92] = {.lex_state = 0},
-  [93] = {.lex_state = 0},
+  [93] = {.lex_state = 61},
   [94] = {.lex_state = 61},
   [95] = {.lex_state = 0},
-  [96] = {.lex_state = 2},
+  [96] = {.lex_state = 0},
   [97] = {.lex_state = 2},
-  [98] = {.lex_state = 61},
+  [98] = {.lex_state = 0},
   [99] = {.lex_state = 0},
-  [100] = {.lex_state = 0},
-  [101] = {.lex_state = 0},
-  [102] = {.lex_state = 61},
-  [103] = {.lex_state = 0},
+  [100] = {.lex_state = 61},
+  [101] = {.lex_state = 2},
+  [102] = {.lex_state = 2},
+  [103] = {.lex_state = 2},
   [104] = {.lex_state = 2},
-  [105] = {.lex_state = 2},
-  [106] = {.lex_state = 2},
+  [105] = {.lex_state = 0},
+  [106] = {.lex_state = 0},
   [107] = {.lex_state = 2},
-  [108] = {.lex_state = 2},
+  [108] = {.lex_state = 0},
   [109] = {.lex_state = 5},
   [110] = {.lex_state = 0},
   [111] = {.lex_state = 0},
   [112] = {.lex_state = 0},
   [113] = {.lex_state = 0},
   [114] = {.lex_state = 0},
-  [115] = {.lex_state = 0},
+  [115] = {.lex_state = 2},
   [116] = {.lex_state = 0},
   [117] = {.lex_state = 2},
   [118] = {.lex_state = 2},
   [119] = {.lex_state = 0},
   [120] = {.lex_state = 2},
   [121] = {.lex_state = 0},
-  [122] = {.lex_state = 0},
+  [122] = {.lex_state = 2},
   [123] = {.lex_state = 0},
-  [124] = {.lex_state = 0},
-  [125] = {.lex_state = 2},
+  [124] = {.lex_state = 2},
+  [125] = {.lex_state = 0},
   [126] = {.lex_state = 0},
-  [127] = {.lex_state = 2},
-  [128] = {.lex_state = 2},
-  [129] = {.lex_state = 2},
+  [127] = {.lex_state = 0},
+  [128] = {.lex_state = 1},
+  [129] = {.lex_state = 0},
   [130] = {.lex_state = 0},
   [131] = {.lex_state = 0},
-  [132] = {.lex_state = 0},
-  [133] = {.lex_state = 2},
-  [134] = {.lex_state = 1},
+  [132] = {.lex_state = 2},
+  [133] = {.lex_state = 0},
+  [134] = {.lex_state = 0},
   [135] = {.lex_state = 0},
   [136] = {.lex_state = 0},
   [137] = {.lex_state = 0},
-  [138] = {.lex_state = 2},
+  [138] = {.lex_state = 0},
   [139] = {.lex_state = 0},
-  [140] = {.lex_state = 0},
+  [140] = {.lex_state = 2},
   [141] = {.lex_state = 0},
   [142] = {.lex_state = 0},
   [143] = {.lex_state = 0},
   [144] = {.lex_state = 0},
-  [145] = {.lex_state = 61},
+  [145] = {.lex_state = 0},
   [146] = {.lex_state = 0},
   [147] = {.lex_state = 0},
-  [148] = {.lex_state = 0},
+  [148] = {.lex_state = 2},
   [149] = {.lex_state = 0},
   [150] = {.lex_state = 0},
-  [151] = {.lex_state = 3},
-  [152] = {.lex_state = 0},
+  [151] = {.lex_state = 0},
+  [152] = {.lex_state = 61},
   [153] = {.lex_state = 0},
   [154] = {.lex_state = 0},
-  [155] = {.lex_state = 3},
-  [156] = {.lex_state = 0},
+  [155] = {.lex_state = 1},
+  [156] = {.lex_state = 61},
   [157] = {.lex_state = 0},
   [158] = {.lex_state = 0},
-  [159] = {.lex_state = 0},
+  [159] = {.lex_state = 3},
   [160] = {.lex_state = 0},
   [161] = {.lex_state = 0},
-  [162] = {.lex_state = 61},
-  [163] = {.lex_state = 0},
-  [164] = {.lex_state = 0},
+  [162] = {.lex_state = 0},
+  [163] = {.lex_state = 2},
+  [164] = {.lex_state = 2},
   [165] = {.lex_state = 0},
   [166] = {.lex_state = 0},
-  [167] = {.lex_state = 0},
-  [168] = {.lex_state = 0},
-  [169] = {.lex_state = 1},
-  [170] = {.lex_state = 2},
-  [171] = {.lex_state = 2},
-  [172] = {.lex_state = 0},
-  [173] = {.lex_state = 2},
+  [167] = {.lex_state = 3},
 };
 
 static const uint16_t ts_parse_table[LARGE_STATE_COUNT][SYMBOL_COUNT] = {
@@ -1472,11 +1444,11 @@ static const uint16_t ts_parse_table[LARGE_STATE_COUNT][SYMBOL_COUNT] = {
     [anon_sym_end] = ACTIONS(1),
     [sym_precedence] = ACTIONS(1),
     [anon_sym_SEMI] = ACTIONS(1),
+    [anon_sym_variable] = ACTIONS(1),
+    [anon_sym_hypothesis] = ACTIONS(1),
     [anon_sym_LPAREN] = ACTIONS(1),
     [anon_sym_COLON] = ACTIONS(1),
     [anon_sym_RPAREN] = ACTIONS(1),
-    [anon_sym_variable] = ACTIONS(1),
-    [anon_sym_hypothesis] = ACTIONS(1),
     [sym_star] = ACTIONS(1),
     [anon_sym_u25a1] = ACTIONS(1),
     [anon_sym_LBRACK_RBRACK] = ACTIONS(1),
@@ -1498,14 +1470,14 @@ static const uint16_t ts_parse_table[LARGE_STATE_COUNT][SYMBOL_COUNT] = {
     [anon_sym_def] = ACTIONS(1),
   },
   [1] = {
-    [sym_program] = STATE(139),
-    [sym_section] = STATE(33),
-    [sym_fixity] = STATE(33),
-    [sym_variable] = STATE(33),
-    [sym_axiom] = STATE(33),
-    [sym_definition] = STATE(33),
-    [sym_preprocess] = STATE(33),
-    [aux_sym_program_repeat1] = STATE(33),
+    [sym_program] = STATE(138),
+    [sym_section] = STATE(26),
+    [sym_fixity] = STATE(26),
+    [sym_variable] = STATE(26),
+    [sym_axiom] = STATE(26),
+    [sym_definition] = STATE(26),
+    [sym_preprocess] = STATE(26),
+    [aux_sym_program_repeat1] = STATE(26),
     [sym_comment] = ACTIONS(3),
     [anon_sym_section] = ACTIONS(5),
     [anon_sym_infixl] = ACTIONS(7),
@@ -1544,24 +1516,24 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
     STATE(91), 1,
       sym_app_term,
-    STATE(144), 1,
+    STATE(139), 1,
       sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -1592,24 +1564,24 @@ static const uint16_t ts_small_parse_table[] = {
       sym_symbol,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
     STATE(91), 1,
       sym_app_term,
-    STATE(161), 1,
+    STATE(125), 1,
       sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -1638,24 +1610,24 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
     STATE(91), 1,
       sym_app_term,
-    STATE(126), 1,
+    STATE(123), 1,
       sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -1684,24 +1656,24 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
     STATE(91), 1,
       sym_app_term,
-    STATE(149), 1,
+    STATE(151), 1,
       sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -1730,24 +1702,24 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
     STATE(91), 1,
       sym_app_term,
-    STATE(132), 1,
+    STATE(129), 1,
       sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -1776,24 +1748,24 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
     STATE(91), 1,
       sym_app_term,
-    STATE(156), 1,
+    STATE(143), 1,
       sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -1822,24 +1794,24 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
     STATE(91), 1,
       sym_app_term,
-    STATE(159), 1,
+    STATE(127), 1,
       sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -1868,24 +1840,24 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
+    STATE(80), 1,
+      sym_expr,
     STATE(91), 1,
       sym_app_term,
-    STATE(172), 1,
-      sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -1914,24 +1886,24 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
-    STATE(84), 1,
-      sym_expr,
     STATE(91), 1,
       sym_app_term,
+    STATE(154), 1,
+      sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -1960,24 +1932,24 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
+    STATE(82), 1,
+      sym_expr,
     STATE(91), 1,
       sym_app_term,
-    STATE(167), 1,
-      sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -2006,24 +1978,24 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(76), 1,
-      sym_expr,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
     STATE(91), 1,
       sym_app_term,
+    STATE(158), 1,
+      sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -2052,24 +2024,24 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
+    STATE(83), 1,
+      sym_expr,
     STATE(91), 1,
       sym_app_term,
-    STATE(150), 1,
-      sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -2096,26 +2068,26 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_u220f,
     ACTIONS(57), 1,
       anon_sym_forall,
-    STATE(46), 1,
+    STATE(54), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
     STATE(109), 1,
       sym_app,
-    STATE(122), 1,
+    STATE(114), 1,
       sym_app_term,
-    STATE(164), 1,
+    STATE(161), 1,
       sym_expr,
     ACTIONS(47), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(35), 2,
+    STATE(34), 2,
       sym_term,
       aux_sym_app_repeat1,
     STATE(66), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -2144,24 +2116,24 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
     STATE(91), 1,
       sym_app_term,
-    STATE(131), 1,
+    STATE(166), 1,
       sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -2190,101 +2162,9 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
-      sym_app,
-    STATE(85), 1,
-      sym_expr,
-    STATE(91), 1,
-      sym_app_term,
-    ACTIONS(25), 2,
-      anon_sym_u25a1,
-      anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
-      sym_term,
-      aux_sym_app_repeat1,
-    STATE(41), 2,
-      sym_sort,
-      sym_op_section,
-    STATE(74), 5,
-      sym_labs,
-      sym_labs_alt,
-      sym_pabs,
-      sym_binex,
-      sym_let,
-  [981] = 19,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(17), 1,
-      sym_identifier,
-    ACTIONS(21), 1,
-      anon_sym_LPAREN,
-    ACTIONS(23), 1,
-      sym_star,
-    ACTIONS(27), 1,
-      anon_sym_u03bb,
-    ACTIONS(29), 1,
-      anon_sym_fun,
-    ACTIONS(31), 1,
-      anon_sym_LBRACK,
-    ACTIONS(33), 1,
-      anon_sym_u220f,
-    ACTIONS(35), 1,
-      anon_sym_forall,
-    ACTIONS(37), 1,
-      anon_sym_let,
-    STATE(38), 1,
-      sym_square,
-    STATE(77), 1,
-      sym_arrow,
-    STATE(79), 1,
-      sym_app,
-    STATE(91), 1,
-      sym_app_term,
-    STATE(135), 1,
-      sym_expr,
-    ACTIONS(25), 2,
-      anon_sym_u25a1,
-      anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
-      sym_term,
-      aux_sym_app_repeat1,
-    STATE(41), 2,
-      sym_sort,
-      sym_op_section,
-    STATE(74), 5,
-      sym_labs,
-      sym_labs_alt,
-      sym_pabs,
-      sym_binex,
-      sym_let,
-  [1046] = 19,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(17), 1,
-      sym_identifier,
-    ACTIONS(21), 1,
-      anon_sym_LPAREN,
-    ACTIONS(23), 1,
-      sym_star,
-    ACTIONS(27), 1,
-      anon_sym_u03bb,
-    ACTIONS(29), 1,
-      anon_sym_fun,
-    ACTIONS(31), 1,
-      anon_sym_LBRACK,
-    ACTIONS(33), 1,
-      anon_sym_u220f,
-    ACTIONS(35), 1,
-      anon_sym_forall,
-    ACTIONS(37), 1,
-      anon_sym_let,
-    STATE(38), 1,
-      sym_square,
-    STATE(77), 1,
-      sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
     STATE(91), 1,
       sym_app_term,
@@ -2293,19 +2173,19 @@ static const uint16_t ts_small_parse_table[] = {
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
       sym_binex,
       sym_let,
-  [1111] = 19,
+  [981] = 19,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(37), 1,
@@ -2326,26 +2206,118 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_u220f,
     ACTIONS(57), 1,
       anon_sym_forall,
-    STATE(46), 1,
+    STATE(54), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(84), 1,
+    STATE(80), 1,
       sym_expr,
     STATE(109), 1,
       sym_app,
-    STATE(122), 1,
+    STATE(114), 1,
       sym_app_term,
     ACTIONS(47), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(35), 2,
+    STATE(34), 2,
       sym_term,
       aux_sym_app_repeat1,
     STATE(66), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
+      sym_labs,
+      sym_labs_alt,
+      sym_pabs,
+      sym_binex,
+      sym_let,
+  [1046] = 19,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(37), 1,
+      anon_sym_let,
+    ACTIONS(41), 1,
+      sym_identifier,
+    ACTIONS(43), 1,
+      anon_sym_LPAREN,
+    ACTIONS(45), 1,
+      sym_star,
+    ACTIONS(49), 1,
+      anon_sym_u03bb,
+    ACTIONS(51), 1,
+      anon_sym_fun,
+    ACTIONS(53), 1,
+      anon_sym_LBRACK,
+    ACTIONS(55), 1,
+      anon_sym_u220f,
+    ACTIONS(57), 1,
+      anon_sym_forall,
+    STATE(54), 1,
+      sym_square,
+    STATE(72), 1,
+      sym_arrow,
+    STATE(82), 1,
+      sym_expr,
+    STATE(109), 1,
+      sym_app,
+    STATE(114), 1,
+      sym_app_term,
+    ACTIONS(47), 2,
+      anon_sym_u25a1,
+      anon_sym_LBRACK_RBRACK,
+    STATE(34), 2,
+      sym_term,
+      aux_sym_app_repeat1,
+    STATE(66), 2,
+      sym_sort,
+      sym_op_section,
+    STATE(76), 5,
+      sym_labs,
+      sym_labs_alt,
+      sym_pabs,
+      sym_binex,
+      sym_let,
+  [1111] = 19,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(17), 1,
+      sym_identifier,
+    ACTIONS(21), 1,
+      anon_sym_LPAREN,
+    ACTIONS(23), 1,
+      sym_star,
+    ACTIONS(27), 1,
+      anon_sym_u03bb,
+    ACTIONS(29), 1,
+      anon_sym_fun,
+    ACTIONS(31), 1,
+      anon_sym_LBRACK,
+    ACTIONS(33), 1,
+      anon_sym_u220f,
+    ACTIONS(35), 1,
+      anon_sym_forall,
+    ACTIONS(37), 1,
+      anon_sym_let,
+    STATE(38), 1,
+      sym_square,
+    STATE(72), 1,
+      sym_arrow,
+    STATE(75), 1,
+      sym_app,
+    STATE(91), 1,
+      sym_app_term,
+    STATE(126), 1,
+      sym_expr,
+    ACTIONS(25), 2,
+      anon_sym_u25a1,
+      anon_sym_LBRACK_RBRACK,
+    STATE(31), 2,
+      sym_term,
+      aux_sym_app_repeat1,
+    STATE(44), 2,
+      sym_sort,
+      sym_op_section,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -2372,26 +2344,26 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_u220f,
     ACTIONS(57), 1,
       anon_sym_forall,
-    STATE(46), 1,
+    STATE(54), 1,
       sym_square,
-    STATE(76), 1,
-      sym_expr,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
+    STATE(74), 1,
+      sym_expr,
     STATE(109), 1,
       sym_app,
-    STATE(122), 1,
+    STATE(114), 1,
       sym_app_term,
     ACTIONS(47), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(35), 2,
+    STATE(34), 2,
       sym_term,
       aux_sym_app_repeat1,
     STATE(66), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -2418,26 +2390,26 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_u220f,
     ACTIONS(57), 1,
       anon_sym_forall,
-    STATE(46), 1,
+    STATE(54), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(78), 1,
+    STATE(83), 1,
       sym_expr,
     STATE(109), 1,
       sym_app,
-    STATE(122), 1,
+    STATE(114), 1,
       sym_app_term,
     ACTIONS(47), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(35), 2,
+    STATE(34), 2,
       sym_term,
       aux_sym_app_repeat1,
     STATE(66), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -2446,44 +2418,44 @@ static const uint16_t ts_small_parse_table[] = {
   [1306] = 19,
     ACTIONS(3), 1,
       sym_comment,
+    ACTIONS(17), 1,
+      sym_identifier,
+    ACTIONS(21), 1,
+      anon_sym_LPAREN,
+    ACTIONS(23), 1,
+      sym_star,
+    ACTIONS(27), 1,
+      anon_sym_u03bb,
+    ACTIONS(29), 1,
+      anon_sym_fun,
+    ACTIONS(31), 1,
+      anon_sym_LBRACK,
+    ACTIONS(33), 1,
+      anon_sym_u220f,
+    ACTIONS(35), 1,
+      anon_sym_forall,
     ACTIONS(37), 1,
       anon_sym_let,
-    ACTIONS(41), 1,
-      sym_identifier,
-    ACTIONS(43), 1,
-      anon_sym_LPAREN,
-    ACTIONS(45), 1,
-      sym_star,
-    ACTIONS(49), 1,
-      anon_sym_u03bb,
-    ACTIONS(51), 1,
-      anon_sym_fun,
-    ACTIONS(53), 1,
-      anon_sym_LBRACK,
-    ACTIONS(55), 1,
-      anon_sym_u220f,
-    ACTIONS(57), 1,
-      anon_sym_forall,
-    STATE(46), 1,
+    STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(85), 1,
-      sym_expr,
-    STATE(109), 1,
+    STATE(75), 1,
       sym_app,
-    STATE(122), 1,
+    STATE(91), 1,
       sym_app_term,
-    ACTIONS(47), 2,
+    STATE(136), 1,
+      sym_expr,
+    ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(35), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(66), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -2512,24 +2484,24 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(74), 1,
+      sym_expr,
+    STATE(75), 1,
       sym_app,
     STATE(91), 1,
       sym_app_term,
-    STATE(142), 1,
-      sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -2558,24 +2530,24 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
     STATE(91), 1,
       sym_app_term,
-    STATE(147), 1,
+    STATE(141), 1,
       sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
@@ -2604,238 +2576,30 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_let,
     STATE(38), 1,
       sym_square,
-    STATE(77), 1,
+    STATE(72), 1,
       sym_arrow,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
     STATE(91), 1,
       sym_app_term,
-    STATE(148), 1,
+    STATE(142), 1,
       sym_expr,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-    STATE(74), 5,
+    STATE(76), 5,
       sym_labs,
       sym_labs_alt,
       sym_pabs,
       sym_binex,
       sym_let,
-  [1566] = 19,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(17), 1,
-      sym_identifier,
-    ACTIONS(21), 1,
-      anon_sym_LPAREN,
-    ACTIONS(23), 1,
-      sym_star,
-    ACTIONS(27), 1,
-      anon_sym_u03bb,
-    ACTIONS(29), 1,
-      anon_sym_fun,
-    ACTIONS(31), 1,
-      anon_sym_LBRACK,
-    ACTIONS(33), 1,
-      anon_sym_u220f,
-    ACTIONS(35), 1,
-      anon_sym_forall,
-    ACTIONS(37), 1,
-      anon_sym_let,
-    STATE(38), 1,
-      sym_square,
-    STATE(77), 1,
-      sym_arrow,
-    STATE(78), 1,
-      sym_expr,
-    STATE(79), 1,
-      sym_app,
-    STATE(91), 1,
-      sym_app_term,
-    ACTIONS(25), 2,
-      anon_sym_u25a1,
-      anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
-      sym_term,
-      aux_sym_app_repeat1,
-    STATE(41), 2,
-      sym_sort,
-      sym_op_section,
-    STATE(74), 5,
-      sym_labs,
-      sym_labs_alt,
-      sym_pabs,
-      sym_binex,
-      sym_let,
-  [1631] = 9,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(59), 1,
-      anon_sym_section,
-    ACTIONS(65), 1,
-      anon_sym_axiom,
-    ACTIONS(67), 1,
-      anon_sym_def,
-    ACTIONS(69), 1,
-      sym_command,
-    STATE(165), 1,
-      sym_program,
-    ACTIONS(61), 2,
-      anon_sym_infixl,
-      anon_sym_infixr,
-    ACTIONS(63), 2,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-    STATE(34), 7,
-      sym_section,
-      sym_fixity,
-      sym_variable,
-      sym_axiom,
-      sym_definition,
-      sym_preprocess,
-      aux_sym_program_repeat1,
-  [1667] = 9,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(71), 1,
-      anon_sym_section,
-    ACTIONS(74), 1,
-      anon_sym_end,
-    ACTIONS(82), 1,
-      anon_sym_axiom,
-    ACTIONS(85), 1,
-      anon_sym_def,
-    ACTIONS(88), 1,
-      sym_command,
-    ACTIONS(76), 2,
-      anon_sym_infixl,
-      anon_sym_infixr,
-    ACTIONS(79), 2,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-    STATE(28), 7,
-      sym_section,
-      sym_fixity,
-      sym_variable,
-      sym_axiom,
-      sym_definition,
-      sym_preprocess,
-      aux_sym_program_repeat1,
-  [1703] = 9,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(91), 1,
-      sym_identifier,
-    ACTIONS(96), 1,
-      anon_sym_LPAREN,
-    ACTIONS(99), 1,
-      sym_star,
-    STATE(38), 1,
-      sym_square,
-    ACTIONS(102), 2,
-      anon_sym_u25a1,
-      anon_sym_LBRACK_RBRACK,
-    STATE(29), 2,
-      sym_term,
-      aux_sym_app_repeat1,
-    STATE(41), 2,
-      sym_sort,
-      sym_op_section,
-    ACTIONS(94), 6,
-      sym_symbol,
-      anon_sym_SEMI,
-      anon_sym_RPAREN,
-      anon_sym_RBRACK,
-      anon_sym_COLON_EQ,
-      anon_sym_u2192,
-  [1739] = 9,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(59), 1,
-      anon_sym_section,
-    ACTIONS(65), 1,
-      anon_sym_axiom,
-    ACTIONS(67), 1,
-      anon_sym_def,
-    ACTIONS(69), 1,
-      sym_command,
-    STATE(153), 1,
-      sym_program,
-    ACTIONS(61), 2,
-      anon_sym_infixl,
-      anon_sym_infixr,
-    ACTIONS(63), 2,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-    STATE(34), 7,
-      sym_section,
-      sym_fixity,
-      sym_variable,
-      sym_axiom,
-      sym_definition,
-      sym_preprocess,
-      aux_sym_program_repeat1,
-  [1775] = 9,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(74), 1,
-      ts_builtin_sym_end,
-    ACTIONS(105), 1,
-      anon_sym_section,
-    ACTIONS(114), 1,
-      anon_sym_axiom,
-    ACTIONS(117), 1,
-      anon_sym_def,
-    ACTIONS(120), 1,
-      sym_command,
-    ACTIONS(108), 2,
-      anon_sym_infixl,
-      anon_sym_infixr,
-    ACTIONS(111), 2,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-    STATE(31), 7,
-      sym_section,
-      sym_fixity,
-      sym_variable,
-      sym_axiom,
-      sym_definition,
-      sym_preprocess,
-      aux_sym_program_repeat1,
-  [1811] = 9,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(21), 1,
-      anon_sym_LPAREN,
-    ACTIONS(23), 1,
-      sym_star,
-    ACTIONS(123), 1,
-      sym_identifier,
-    STATE(38), 1,
-      sym_square,
-    ACTIONS(25), 2,
-      anon_sym_u25a1,
-      anon_sym_LBRACK_RBRACK,
-    STATE(29), 2,
-      sym_term,
-      aux_sym_app_repeat1,
-    STATE(41), 2,
-      sym_sort,
-      sym_op_section,
-    ACTIONS(125), 6,
-      sym_symbol,
-      anon_sym_SEMI,
-      anon_sym_RPAREN,
-      anon_sym_RBRACK,
-      anon_sym_COLON_EQ,
-      anon_sym_u2192,
-  [1847] = 9,
+  [1566] = 9,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(5), 1,
@@ -2846,7 +2610,7 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_def,
     ACTIONS(15), 1,
       sym_command,
-    ACTIONS(127), 1,
+    ACTIONS(59), 1,
       ts_builtin_sym_end,
     ACTIONS(7), 2,
       anon_sym_infixl,
@@ -2854,7 +2618,7 @@ static const uint16_t ts_small_parse_table[] = {
     ACTIONS(9), 2,
       anon_sym_variable,
       anon_sym_hypothesis,
-    STATE(31), 7,
+    STATE(32), 7,
       sym_section,
       sym_fixity,
       sym_variable,
@@ -2862,26 +2626,80 @@ static const uint16_t ts_small_parse_table[] = {
       sym_definition,
       sym_preprocess,
       aux_sym_program_repeat1,
-  [1883] = 9,
+  [1602] = 9,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(61), 1,
+      anon_sym_section,
+    ACTIONS(67), 1,
+      anon_sym_axiom,
+    ACTIONS(69), 1,
+      anon_sym_def,
+    ACTIONS(71), 1,
+      sym_command,
+    STATE(149), 1,
+      sym_program,
+    ACTIONS(63), 2,
+      anon_sym_infixl,
+      anon_sym_infixr,
+    ACTIONS(65), 2,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+    STATE(29), 7,
+      sym_section,
+      sym_fixity,
+      sym_variable,
+      sym_axiom,
+      sym_definition,
+      sym_preprocess,
+      aux_sym_program_repeat1,
+  [1638] = 9,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(73), 1,
+      sym_identifier,
+    ACTIONS(78), 1,
+      anon_sym_LPAREN,
+    ACTIONS(81), 1,
+      sym_star,
+    STATE(38), 1,
+      sym_square,
+    ACTIONS(84), 2,
+      anon_sym_u25a1,
+      anon_sym_LBRACK_RBRACK,
+    STATE(28), 2,
+      sym_term,
+      aux_sym_app_repeat1,
+    STATE(44), 2,
+      sym_sort,
+      sym_op_section,
+    ACTIONS(76), 6,
+      sym_symbol,
+      anon_sym_SEMI,
+      anon_sym_RPAREN,
+      anon_sym_RBRACK,
+      anon_sym_COLON_EQ,
+      anon_sym_u2192,
+  [1674] = 9,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(59), 1,
-      anon_sym_section,
-    ACTIONS(65), 1,
-      anon_sym_axiom,
-    ACTIONS(67), 1,
-      anon_sym_def,
-    ACTIONS(69), 1,
-      sym_command,
-    ACTIONS(127), 1,
       anon_sym_end,
-    ACTIONS(61), 2,
+    ACTIONS(61), 1,
+      anon_sym_section,
+    ACTIONS(67), 1,
+      anon_sym_axiom,
+    ACTIONS(69), 1,
+      anon_sym_def,
+    ACTIONS(71), 1,
+      sym_command,
+    ACTIONS(63), 2,
       anon_sym_infixl,
       anon_sym_infixr,
-    ACTIONS(63), 2,
+    ACTIONS(65), 2,
       anon_sym_variable,
       anon_sym_hypothesis,
-    STATE(28), 7,
+    STATE(30), 7,
       sym_section,
       sym_fixity,
       sym_variable,
@@ -2889,7 +2707,115 @@ static const uint16_t ts_small_parse_table[] = {
       sym_definition,
       sym_preprocess,
       aux_sym_program_repeat1,
-  [1919] = 10,
+  [1710] = 9,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(87), 1,
+      anon_sym_section,
+    ACTIONS(90), 1,
+      anon_sym_end,
+    ACTIONS(98), 1,
+      anon_sym_axiom,
+    ACTIONS(101), 1,
+      anon_sym_def,
+    ACTIONS(104), 1,
+      sym_command,
+    ACTIONS(92), 2,
+      anon_sym_infixl,
+      anon_sym_infixr,
+    ACTIONS(95), 2,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+    STATE(30), 7,
+      sym_section,
+      sym_fixity,
+      sym_variable,
+      sym_axiom,
+      sym_definition,
+      sym_preprocess,
+      aux_sym_program_repeat1,
+  [1746] = 9,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(21), 1,
+      anon_sym_LPAREN,
+    ACTIONS(23), 1,
+      sym_star,
+    ACTIONS(107), 1,
+      sym_identifier,
+    STATE(38), 1,
+      sym_square,
+    ACTIONS(25), 2,
+      anon_sym_u25a1,
+      anon_sym_LBRACK_RBRACK,
+    STATE(28), 2,
+      sym_term,
+      aux_sym_app_repeat1,
+    STATE(44), 2,
+      sym_sort,
+      sym_op_section,
+    ACTIONS(109), 6,
+      sym_symbol,
+      anon_sym_SEMI,
+      anon_sym_RPAREN,
+      anon_sym_RBRACK,
+      anon_sym_COLON_EQ,
+      anon_sym_u2192,
+  [1782] = 9,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(90), 1,
+      ts_builtin_sym_end,
+    ACTIONS(111), 1,
+      anon_sym_section,
+    ACTIONS(120), 1,
+      anon_sym_axiom,
+    ACTIONS(123), 1,
+      anon_sym_def,
+    ACTIONS(126), 1,
+      sym_command,
+    ACTIONS(114), 2,
+      anon_sym_infixl,
+      anon_sym_infixr,
+    ACTIONS(117), 2,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+    STATE(32), 7,
+      sym_section,
+      sym_fixity,
+      sym_variable,
+      sym_axiom,
+      sym_definition,
+      sym_preprocess,
+      aux_sym_program_repeat1,
+  [1818] = 9,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(61), 1,
+      anon_sym_section,
+    ACTIONS(67), 1,
+      anon_sym_axiom,
+    ACTIONS(69), 1,
+      anon_sym_def,
+    ACTIONS(71), 1,
+      sym_command,
+    STATE(147), 1,
+      sym_program,
+    ACTIONS(63), 2,
+      anon_sym_infixl,
+      anon_sym_infixr,
+    ACTIONS(65), 2,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+    STATE(29), 7,
+      sym_section,
+      sym_fixity,
+      sym_variable,
+      sym_axiom,
+      sym_definition,
+      sym_preprocess,
+      aux_sym_program_repeat1,
+  [1854] = 10,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(41), 1,
@@ -2900,21 +2826,21 @@ static const uint16_t ts_small_parse_table[] = {
       sym_star,
     ACTIONS(129), 1,
       anon_sym_end,
-    STATE(46), 1,
+    STATE(54), 1,
       sym_square,
     ACTIONS(47), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    ACTIONS(125), 2,
+    ACTIONS(109), 2,
       sym_symbol,
       anon_sym_u2192,
-    STATE(36), 2,
+    STATE(35), 2,
       sym_term,
       aux_sym_app_repeat1,
     STATE(66), 2,
       sym_sort,
       sym_op_section,
-  [1954] = 10,
+  [1889] = 10,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(131), 1,
@@ -2925,50 +2851,74 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_LPAREN,
     ACTIONS(139), 1,
       sym_star,
-    STATE(46), 1,
+    STATE(54), 1,
       sym_square,
-    ACTIONS(94), 2,
+    ACTIONS(76), 2,
       sym_symbol,
       anon_sym_u2192,
     ACTIONS(142), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(36), 2,
+    STATE(35), 2,
       sym_term,
       aux_sym_app_repeat1,
     STATE(66), 2,
       sym_sort,
       sym_op_section,
-  [1989] = 10,
+  [1924] = 10,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(43), 1,
+      anon_sym_LPAREN,
+    ACTIONS(45), 1,
+      sym_star,
+    ACTIONS(145), 1,
+      sym_identifier,
+    STATE(54), 1,
+      sym_square,
+    STATE(79), 1,
+      sym_binex,
+    STATE(109), 1,
+      sym_app,
+    ACTIONS(47), 2,
+      anon_sym_u25a1,
+      anon_sym_LBRACK_RBRACK,
+    STATE(34), 2,
+      sym_term,
+      aux_sym_app_repeat1,
+    STATE(66), 2,
+      sym_sort,
+      sym_op_section,
+  [1958] = 10,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(21), 1,
       anon_sym_LPAREN,
     ACTIONS(23), 1,
       sym_star,
-    ACTIONS(123), 1,
+    ACTIONS(107), 1,
       sym_identifier,
     STATE(38), 1,
       sym_square,
-    STATE(79), 1,
+    STATE(75), 1,
       sym_app,
-    STATE(83), 1,
+    STATE(79), 1,
       sym_binex,
     ACTIONS(25), 2,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
-    STATE(32), 2,
+    STATE(31), 2,
       sym_term,
       aux_sym_app_repeat1,
-    STATE(41), 2,
+    STATE(44), 2,
       sym_sort,
       sym_op_section,
-  [2023] = 3,
+  [1992] = 3,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(147), 1,
+    ACTIONS(149), 1,
       aux_sym_sort_token1,
-    ACTIONS(145), 11,
+    ACTIONS(147), 11,
       sym_identifier,
       sym_symbol,
       anon_sym_SEMI,
@@ -2980,31 +2930,7 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_RBRACK,
       anon_sym_COLON_EQ,
       anon_sym_u2192,
-  [2043] = 10,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(43), 1,
-      anon_sym_LPAREN,
-    ACTIONS(45), 1,
-      sym_star,
-    ACTIONS(149), 1,
-      sym_identifier,
-    STATE(46), 1,
-      sym_square,
-    STATE(83), 1,
-      sym_binex,
-    STATE(109), 1,
-      sym_app,
-    ACTIONS(47), 2,
-      anon_sym_u25a1,
-      anon_sym_LBRACK_RBRACK,
-    STATE(35), 2,
-      sym_term,
-      aux_sym_app_repeat1,
-    STATE(66), 2,
-      sym_sort,
-      sym_op_section,
-  [2077] = 2,
+  [2012] = 2,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(151), 12,
@@ -3020,7 +2946,22 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_RBRACK,
       anon_sym_COLON_EQ,
       anon_sym_u2192,
-  [2095] = 2,
+  [2030] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(147), 11,
+      sym_identifier,
+      sym_symbol,
+      anon_sym_SEMI,
+      anon_sym_LPAREN,
+      anon_sym_RPAREN,
+      sym_star,
+      anon_sym_u25a1,
+      anon_sym_LBRACK_RBRACK,
+      anon_sym_RBRACK,
+      anon_sym_COLON_EQ,
+      anon_sym_u2192,
+  [2047] = 2,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(153), 11,
@@ -3035,22 +2976,7 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_RBRACK,
       anon_sym_COLON_EQ,
       anon_sym_u2192,
-  [2112] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(145), 11,
-      sym_identifier,
-      sym_symbol,
-      anon_sym_SEMI,
-      anon_sym_LPAREN,
-      anon_sym_RPAREN,
-      sym_star,
-      anon_sym_u25a1,
-      anon_sym_LBRACK_RBRACK,
-      anon_sym_RBRACK,
-      anon_sym_COLON_EQ,
-      anon_sym_u2192,
-  [2129] = 2,
+  [2064] = 2,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(155), 11,
@@ -3065,7 +2991,7 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_RBRACK,
       anon_sym_COLON_EQ,
       anon_sym_u2192,
-  [2146] = 2,
+  [2081] = 2,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(157), 11,
@@ -3080,7 +3006,7 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_RBRACK,
       anon_sym_COLON_EQ,
       anon_sym_u2192,
-  [2163] = 2,
+  [2098] = 2,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(159), 11,
@@ -3095,25 +3021,26 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_RBRACK,
       anon_sym_COLON_EQ,
       anon_sym_u2192,
-  [2180] = 4,
+  [2115] = 5,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(163), 1,
-      aux_sym_sort_token1,
-    ACTIONS(161), 2,
-      sym_identifier,
-      anon_sym_end,
-    ACTIONS(145), 6,
-      sym_symbol,
       anon_sym_LPAREN,
-      sym_star,
-      anon_sym_u25a1,
-      anon_sym_LBRACK_RBRACK,
-      anon_sym_u2192,
-  [2199] = 2,
+    ACTIONS(166), 1,
+      anon_sym_COLON,
+    STATE(45), 2,
+      sym_param_block,
+      aux_sym_variable_repeat1,
+    ACTIONS(161), 5,
+      anon_sym_SEMI,
+      anon_sym_EQ_GT,
+      anon_sym_u21d2,
+      anon_sym_COMMA,
+      anon_sym_COLON_EQ,
+  [2136] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(165), 9,
+    ACTIONS(168), 9,
       ts_builtin_sym_end,
       anon_sym_section,
       anon_sym_infixl,
@@ -3123,10 +3050,10 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_axiom,
       anon_sym_def,
       sym_command,
-  [2214] = 2,
+  [2151] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(167), 9,
+    ACTIONS(170), 9,
       ts_builtin_sym_end,
       anon_sym_section,
       anon_sym_infixl,
@@ -3136,10 +3063,36 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_axiom,
       anon_sym_def,
       sym_command,
-  [2229] = 2,
+  [2166] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(169), 9,
+    ACTIONS(172), 9,
+      ts_builtin_sym_end,
+      anon_sym_section,
+      anon_sym_infixl,
+      anon_sym_infixr,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+      anon_sym_axiom,
+      anon_sym_def,
+      sym_command,
+  [2181] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(174), 9,
+      ts_builtin_sym_end,
+      anon_sym_section,
+      anon_sym_infixl,
+      anon_sym_infixr,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+      anon_sym_axiom,
+      anon_sym_def,
+      sym_command,
+  [2196] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(170), 9,
       anon_sym_section,
       anon_sym_end,
       anon_sym_infixl,
@@ -3149,10 +3102,10 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_axiom,
       anon_sym_def,
       sym_command,
-  [2244] = 2,
+  [2211] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(171), 9,
+    ACTIONS(176), 9,
       anon_sym_section,
       anon_sym_end,
       anon_sym_infixl,
@@ -3162,10 +3115,10 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_axiom,
       anon_sym_def,
       sym_command,
-  [2259] = 2,
+  [2226] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(167), 9,
+    ACTIONS(178), 9,
       anon_sym_section,
       anon_sym_end,
       anon_sym_infixl,
@@ -3175,10 +3128,10 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_axiom,
       anon_sym_def,
       sym_command,
-  [2274] = 3,
+  [2241] = 3,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(173), 2,
+    ACTIONS(180), 2,
       sym_identifier,
       anon_sym_end,
     ACTIONS(151), 7,
@@ -3189,218 +3142,168 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_LBRACK_RBRACK,
       aux_sym_sort_token1,
       anon_sym_u2192,
-  [2291] = 2,
+  [2258] = 4,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(171), 9,
-      ts_builtin_sym_end,
-      anon_sym_section,
-      anon_sym_infixl,
-      anon_sym_infixr,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-      anon_sym_axiom,
-      anon_sym_def,
-      sym_command,
-  [2306] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(175), 9,
-      ts_builtin_sym_end,
-      anon_sym_section,
-      anon_sym_infixl,
-      anon_sym_infixr,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-      anon_sym_axiom,
-      anon_sym_def,
-      sym_command,
-  [2321] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(177), 9,
-      anon_sym_section,
-      anon_sym_end,
-      anon_sym_infixl,
-      anon_sym_infixr,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-      anon_sym_axiom,
-      anon_sym_def,
-      sym_command,
-  [2336] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(179), 9,
-      anon_sym_section,
-      anon_sym_end,
-      anon_sym_infixl,
-      anon_sym_infixr,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-      anon_sym_axiom,
-      anon_sym_def,
-      sym_command,
-  [2351] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(181), 9,
-      ts_builtin_sym_end,
-      anon_sym_section,
-      anon_sym_infixl,
-      anon_sym_infixr,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-      anon_sym_axiom,
-      anon_sym_def,
-      sym_command,
-  [2366] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(183), 9,
-      ts_builtin_sym_end,
-      anon_sym_section,
-      anon_sym_infixl,
-      anon_sym_infixr,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-      anon_sym_axiom,
-      anon_sym_def,
-      sym_command,
-  [2381] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(175), 9,
-      anon_sym_section,
-      anon_sym_end,
-      anon_sym_infixl,
-      anon_sym_infixr,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-      anon_sym_axiom,
-      anon_sym_def,
-      sym_command,
-  [2396] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(183), 9,
-      anon_sym_section,
-      anon_sym_end,
-      anon_sym_infixl,
-      anon_sym_infixr,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-      anon_sym_axiom,
-      anon_sym_def,
-      sym_command,
-  [2411] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(179), 9,
-      ts_builtin_sym_end,
-      anon_sym_section,
-      anon_sym_infixl,
-      anon_sym_infixr,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-      anon_sym_axiom,
-      anon_sym_def,
-      sym_command,
-  [2426] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(177), 9,
-      ts_builtin_sym_end,
-      anon_sym_section,
-      anon_sym_infixl,
-      anon_sym_infixr,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-      anon_sym_axiom,
-      anon_sym_def,
-      sym_command,
-  [2441] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(169), 9,
-      ts_builtin_sym_end,
-      anon_sym_section,
-      anon_sym_infixl,
-      anon_sym_infixr,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-      anon_sym_axiom,
-      anon_sym_def,
-      sym_command,
-  [2456] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(181), 9,
-      anon_sym_section,
-      anon_sym_end,
-      anon_sym_infixl,
-      anon_sym_infixr,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-      anon_sym_axiom,
-      anon_sym_def,
-      sym_command,
-  [2471] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(165), 9,
-      anon_sym_section,
-      anon_sym_end,
-      anon_sym_infixl,
-      anon_sym_infixr,
-      anon_sym_variable,
-      anon_sym_hypothesis,
-      anon_sym_axiom,
-      anon_sym_def,
-      sym_command,
-  [2486] = 3,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(185), 2,
+    ACTIONS(184), 1,
+      aux_sym_sort_token1,
+    ACTIONS(182), 2,
       sym_identifier,
       anon_sym_end,
-    ACTIONS(153), 6,
+    ACTIONS(147), 6,
       sym_symbol,
       anon_sym_LPAREN,
       sym_star,
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
       anon_sym_u2192,
-  [2502] = 3,
+  [2277] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(161), 2,
-      sym_identifier,
+    ACTIONS(186), 9,
+      anon_sym_section,
       anon_sym_end,
-    ACTIONS(145), 6,
-      sym_symbol,
-      anon_sym_LPAREN,
-      sym_star,
-      anon_sym_u25a1,
-      anon_sym_LBRACK_RBRACK,
-      anon_sym_u2192,
-  [2518] = 3,
+      anon_sym_infixl,
+      anon_sym_infixr,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+      anon_sym_axiom,
+      anon_sym_def,
+      sym_command,
+  [2292] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(187), 2,
-      sym_identifier,
+    ACTIONS(188), 9,
+      anon_sym_section,
       anon_sym_end,
-    ACTIONS(157), 6,
-      sym_symbol,
-      anon_sym_LPAREN,
-      sym_star,
-      anon_sym_u25a1,
-      anon_sym_LBRACK_RBRACK,
-      anon_sym_u2192,
-  [2534] = 3,
+      anon_sym_infixl,
+      anon_sym_infixr,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+      anon_sym_axiom,
+      anon_sym_def,
+      sym_command,
+  [2307] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(189), 2,
+    ACTIONS(168), 9,
+      anon_sym_section,
+      anon_sym_end,
+      anon_sym_infixl,
+      anon_sym_infixr,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+      anon_sym_axiom,
+      anon_sym_def,
+      sym_command,
+  [2322] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(186), 9,
+      ts_builtin_sym_end,
+      anon_sym_section,
+      anon_sym_infixl,
+      anon_sym_infixr,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+      anon_sym_axiom,
+      anon_sym_def,
+      sym_command,
+  [2337] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(172), 9,
+      anon_sym_section,
+      anon_sym_end,
+      anon_sym_infixl,
+      anon_sym_infixr,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+      anon_sym_axiom,
+      anon_sym_def,
+      sym_command,
+  [2352] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(174), 9,
+      anon_sym_section,
+      anon_sym_end,
+      anon_sym_infixl,
+      anon_sym_infixr,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+      anon_sym_axiom,
+      anon_sym_def,
+      sym_command,
+  [2367] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(190), 9,
+      ts_builtin_sym_end,
+      anon_sym_section,
+      anon_sym_infixl,
+      anon_sym_infixr,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+      anon_sym_axiom,
+      anon_sym_def,
+      sym_command,
+  [2382] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(188), 9,
+      ts_builtin_sym_end,
+      anon_sym_section,
+      anon_sym_infixl,
+      anon_sym_infixr,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+      anon_sym_axiom,
+      anon_sym_def,
+      sym_command,
+  [2397] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(176), 9,
+      ts_builtin_sym_end,
+      anon_sym_section,
+      anon_sym_infixl,
+      anon_sym_infixr,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+      anon_sym_axiom,
+      anon_sym_def,
+      sym_command,
+  [2412] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(178), 9,
+      ts_builtin_sym_end,
+      anon_sym_section,
+      anon_sym_infixl,
+      anon_sym_infixr,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+      anon_sym_axiom,
+      anon_sym_def,
+      sym_command,
+  [2427] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(190), 9,
+      anon_sym_section,
+      anon_sym_end,
+      anon_sym_infixl,
+      anon_sym_infixr,
+      anon_sym_variable,
+      anon_sym_hypothesis,
+      anon_sym_axiom,
+      anon_sym_def,
+      sym_command,
+  [2442] = 3,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(192), 2,
       sym_identifier,
       anon_sym_end,
     ACTIONS(159), 6,
@@ -3410,25 +3313,36 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
       anon_sym_u2192,
-  [2550] = 5,
+  [2458] = 3,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(191), 1,
+    ACTIONS(182), 2,
+      sym_identifier,
+      anon_sym_end,
+    ACTIONS(147), 6,
+      sym_symbol,
       anon_sym_LPAREN,
-    ACTIONS(194), 1,
-      anon_sym_COLON,
-    STATE(70), 2,
-      sym_param_block,
-      aux_sym_labs_repeat1,
-    ACTIONS(196), 4,
-      anon_sym_EQ_GT,
-      anon_sym_u21d2,
-      anon_sym_COMMA,
-      anon_sym_COLON_EQ,
-  [2570] = 3,
+      sym_star,
+      anon_sym_u25a1,
+      anon_sym_LBRACK_RBRACK,
+      anon_sym_u2192,
+  [2474] = 3,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(198), 2,
+    ACTIONS(194), 2,
+      sym_identifier,
+      anon_sym_end,
+    ACTIONS(157), 6,
+      sym_symbol,
+      anon_sym_LPAREN,
+      sym_star,
+      anon_sym_u25a1,
+      anon_sym_LBRACK_RBRACK,
+      anon_sym_u2192,
+  [2490] = 3,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(196), 2,
       sym_identifier,
       anon_sym_end,
     ACTIONS(155), 6,
@@ -3438,59 +3352,56 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_u25a1,
       anon_sym_LBRACK_RBRACK,
       anon_sym_u2192,
-  [2586] = 6,
+  [2506] = 3,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(200), 1,
+    ACTIONS(198), 2,
+      sym_identifier,
+      anon_sym_end,
+    ACTIONS(153), 6,
+      sym_symbol,
       anon_sym_LPAREN,
+      sym_star,
+      anon_sym_u25a1,
+      anon_sym_LBRACK_RBRACK,
+      anon_sym_u2192,
+  [2522] = 3,
+    ACTIONS(3), 1,
+      sym_comment,
     ACTIONS(202), 1,
       anon_sym_COLON,
-    ACTIONS(204), 1,
-      anon_sym_COLON_EQ,
-    STATE(163), 1,
-      sym_ascription,
-    STATE(70), 2,
-      sym_param_block,
-      aux_sym_labs_repeat1,
-  [2606] = 6,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(200), 1,
+    ACTIONS(200), 6,
+      anon_sym_SEMI,
       anon_sym_LPAREN,
-    ACTIONS(202), 1,
-      anon_sym_COLON,
-    ACTIONS(206), 1,
+      anon_sym_EQ_GT,
+      anon_sym_u21d2,
+      anon_sym_COMMA,
       anon_sym_COLON_EQ,
-    STATE(152), 1,
-      sym_ascription,
-    STATE(70), 2,
-      sym_param_block,
-      aux_sym_labs_repeat1,
-  [2626] = 2,
+  [2537] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(208), 6,
+    ACTIONS(204), 6,
       anon_sym_end,
       anon_sym_SEMI,
       anon_sym_RPAREN,
       anon_sym_RBRACK,
       anon_sym_COLON_EQ,
       anon_sym_u2192,
-  [2638] = 6,
+  [2549] = 6,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(200), 1,
+    ACTIONS(206), 1,
       anon_sym_LPAREN,
-    ACTIONS(202), 1,
+    ACTIONS(208), 1,
       anon_sym_COLON,
     ACTIONS(210), 1,
       anon_sym_COLON_EQ,
-    STATE(140), 1,
+    STATE(153), 1,
       sym_ascription,
-    STATE(73), 2,
+    STATE(78), 2,
       sym_param_block,
-      aux_sym_labs_repeat1,
-  [2658] = 2,
+      aux_sym_variable_repeat1,
+  [2569] = 2,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(212), 6,
@@ -3500,73 +3411,86 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_RBRACK,
       anon_sym_COLON_EQ,
       anon_sym_u2192,
-  [2670] = 2,
+  [2581] = 3,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(214), 6,
-      anon_sym_end,
-      anon_sym_SEMI,
-      anon_sym_RPAREN,
-      anon_sym_RBRACK,
-      anon_sym_COLON_EQ,
-      anon_sym_u2192,
-  [2682] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(216), 6,
-      anon_sym_end,
-      anon_sym_SEMI,
-      anon_sym_RPAREN,
-      anon_sym_RBRACK,
-      anon_sym_COLON_EQ,
-      anon_sym_u2192,
-  [2694] = 3,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(218), 1,
+    ACTIONS(214), 1,
       sym_symbol,
-    ACTIONS(220), 5,
+    ACTIONS(216), 5,
       anon_sym_SEMI,
       anon_sym_RPAREN,
       anon_sym_RBRACK,
       anon_sym_COLON_EQ,
       anon_sym_u2192,
-  [2708] = 2,
+  [2595] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(222), 6,
+    ACTIONS(218), 6,
       anon_sym_end,
       anon_sym_SEMI,
       anon_sym_RPAREN,
       anon_sym_RBRACK,
       anon_sym_COLON_EQ,
       anon_sym_u2192,
-  [2720] = 6,
+  [2607] = 6,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(200), 1,
+    ACTIONS(206), 1,
       anon_sym_LPAREN,
-    ACTIONS(202), 1,
+    ACTIONS(208), 1,
       anon_sym_COLON,
-    ACTIONS(224), 1,
+    ACTIONS(220), 1,
+      anon_sym_COLON_EQ,
+    STATE(134), 1,
+      sym_ascription,
+    STATE(84), 2,
+      sym_param_block,
+      aux_sym_variable_repeat1,
+  [2627] = 6,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(206), 1,
+      anon_sym_LPAREN,
+    ACTIONS(208), 1,
+      anon_sym_COLON,
+    ACTIONS(222), 1,
       anon_sym_COLON_EQ,
     STATE(157), 1,
       sym_ascription,
-    STATE(72), 2,
+    STATE(45), 2,
       sym_param_block,
-      aux_sym_labs_repeat1,
-  [2740] = 3,
+      aux_sym_variable_repeat1,
+  [2647] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(228), 1,
-      anon_sym_COLON,
-    ACTIONS(226), 5,
-      anon_sym_LPAREN,
-      anon_sym_EQ_GT,
-      anon_sym_u21d2,
-      anon_sym_COMMA,
+    ACTIONS(224), 6,
+      anon_sym_end,
+      anon_sym_SEMI,
+      anon_sym_RPAREN,
+      anon_sym_RBRACK,
       anon_sym_COLON_EQ,
-  [2754] = 2,
+      anon_sym_u2192,
+  [2659] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(226), 6,
+      anon_sym_end,
+      anon_sym_SEMI,
+      anon_sym_RPAREN,
+      anon_sym_RBRACK,
+      anon_sym_COLON_EQ,
+      anon_sym_u2192,
+  [2671] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(228), 6,
+      anon_sym_end,
+      anon_sym_SEMI,
+      anon_sym_RPAREN,
+      anon_sym_RBRACK,
+      anon_sym_COLON_EQ,
+      anon_sym_u2192,
+  [2683] = 2,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(230), 6,
@@ -3576,7 +3500,7 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_RBRACK,
       anon_sym_COLON_EQ,
       anon_sym_u2192,
-  [2766] = 2,
+  [2695] = 2,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(232), 6,
@@ -3586,624 +3510,591 @@ static const uint16_t ts_small_parse_table[] = {
       anon_sym_RBRACK,
       anon_sym_COLON_EQ,
       anon_sym_u2192,
-  [2778] = 2,
+  [2707] = 6,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(234), 6,
-      anon_sym_end,
-      anon_sym_SEMI,
-      anon_sym_RPAREN,
-      anon_sym_RBRACK,
-      anon_sym_COLON_EQ,
-      anon_sym_u2192,
-  [2790] = 6,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(200), 1,
+    ACTIONS(206), 1,
       anon_sym_LPAREN,
-    ACTIONS(202), 1,
+    ACTIONS(208), 1,
+      anon_sym_COLON,
+    ACTIONS(234), 1,
+      anon_sym_COLON_EQ,
+    STATE(145), 1,
+      sym_ascription,
+    STATE(45), 2,
+      sym_param_block,
+      aux_sym_variable_repeat1,
+  [2727] = 6,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(206), 1,
+      anon_sym_LPAREN,
+    ACTIONS(208), 1,
       anon_sym_COLON,
     ACTIONS(236), 1,
       anon_sym_COLON_EQ,
-    STATE(130), 1,
+    STATE(160), 1,
       sym_ascription,
-    STATE(87), 2,
+    STATE(86), 2,
       sym_param_block,
-      aux_sym_labs_repeat1,
-  [2810] = 6,
+      aux_sym_variable_repeat1,
+  [2747] = 6,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(200), 1,
+    ACTIONS(206), 1,
       anon_sym_LPAREN,
-    ACTIONS(202), 1,
+    ACTIONS(208), 1,
       anon_sym_COLON,
     ACTIONS(238), 1,
       anon_sym_COLON_EQ,
-    STATE(168), 1,
+    STATE(162), 1,
       sym_ascription,
-    STATE(70), 2,
+    STATE(45), 2,
       sym_param_block,
-      aux_sym_labs_repeat1,
-  [2830] = 5,
+      aux_sym_variable_repeat1,
+  [2767] = 5,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(200), 1,
+    ACTIONS(206), 1,
       anon_sym_LPAREN,
     ACTIONS(240), 1,
       anon_sym_COLON,
-    STATE(141), 1,
+    STATE(131), 1,
       sym_ascription,
-    STATE(70), 2,
+    STATE(92), 2,
       sym_param_block,
-      aux_sym_labs_repeat1,
-  [2847] = 5,
+      aux_sym_variable_repeat1,
+  [2784] = 5,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(200), 1,
+    ACTIONS(206), 1,
       anon_sym_LPAREN,
     ACTIONS(240), 1,
       anon_sym_COLON,
-    STATE(158), 1,
+    STATE(144), 1,
       sym_ascription,
-    STATE(70), 2,
+    STATE(45), 2,
       sym_param_block,
-      aux_sym_labs_repeat1,
-  [2864] = 4,
+      aux_sym_variable_repeat1,
+  [2801] = 4,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(200), 1,
+    ACTIONS(206), 1,
       anon_sym_LPAREN,
     ACTIONS(242), 2,
       anon_sym_EQ_GT,
       anon_sym_u21d2,
-    STATE(70), 2,
+    STATE(45), 2,
       sym_param_block,
-      aux_sym_labs_repeat1,
-  [2879] = 3,
+      aux_sym_variable_repeat1,
+  [2816] = 5,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(206), 1,
+      anon_sym_LPAREN,
+    ACTIONS(240), 1,
+      anon_sym_COLON,
+    STATE(165), 1,
+      sym_ascription,
+    STATE(88), 2,
+      sym_param_block,
+      aux_sym_variable_repeat1,
+  [2833] = 3,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(244), 1,
       anon_sym_u2192,
-    ACTIONS(214), 4,
+    ACTIONS(204), 4,
       anon_sym_SEMI,
       anon_sym_RPAREN,
       anon_sym_RBRACK,
       anon_sym_COLON_EQ,
-  [2892] = 5,
+  [2846] = 5,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(200), 1,
+    ACTIONS(206), 1,
       anon_sym_LPAREN,
     ACTIONS(240), 1,
       anon_sym_COLON,
-    STATE(154), 1,
+    STATE(135), 1,
       sym_ascription,
-    STATE(89), 2,
+    STATE(45), 2,
       sym_param_block,
-      aux_sym_labs_repeat1,
-  [2909] = 5,
+      aux_sym_variable_repeat1,
+  [2863] = 4,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(200), 1,
-      anon_sym_LPAREN,
-    ACTIONS(240), 1,
-      anon_sym_COLON,
-    STATE(137), 1,
-      sym_ascription,
-    STATE(88), 2,
-      sym_param_block,
-      aux_sym_labs_repeat1,
-  [2926] = 4,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(200), 1,
+    ACTIONS(206), 1,
       anon_sym_LPAREN,
     ACTIONS(246), 2,
       anon_sym_EQ_GT,
       anon_sym_u21d2,
-    STATE(70), 2,
+    STATE(45), 2,
       sym_param_block,
-      aux_sym_labs_repeat1,
-  [2941] = 4,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(248), 1,
-      anon_sym_SEMI,
-    ACTIONS(250), 1,
-      anon_sym_LPAREN,
-    STATE(95), 2,
-      sym_variable_binding,
       aux_sym_variable_repeat1,
-  [2955] = 4,
+  [2878] = 4,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(255), 1,
-      anon_sym_COLON,
-    STATE(97), 1,
-      aux_sym_variable_binding_repeat1,
-    ACTIONS(253), 2,
-      sym_identifier,
-      sym_symbol,
-  [2969] = 4,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(260), 1,
-      anon_sym_COLON,
-    STATE(97), 1,
-      aux_sym_variable_binding_repeat1,
-    ACTIONS(257), 2,
-      sym_identifier,
-      sym_symbol,
-  [2983] = 4,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(200), 1,
+    ACTIONS(206), 1,
       anon_sym_LPAREN,
-    ACTIONS(262), 1,
+    ACTIONS(248), 1,
       anon_sym_COMMA,
-    STATE(70), 2,
+    STATE(45), 2,
       sym_param_block,
-      aux_sym_labs_repeat1,
-  [2997] = 4,
+      aux_sym_variable_repeat1,
+  [2892] = 4,
     ACTIONS(3), 1,
       sym_comment,
+    ACTIONS(206), 1,
+      anon_sym_LPAREN,
+    ACTIONS(250), 1,
+      anon_sym_SEMI,
+    STATE(45), 2,
+      sym_param_block,
+      aux_sym_variable_repeat1,
+  [2906] = 4,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(252), 1,
+      anon_sym_LPAREN,
+    ACTIONS(254), 1,
+      anon_sym_in,
+    STATE(98), 2,
+      sym_binding,
+      aux_sym_let_repeat1,
+  [2920] = 4,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(259), 1,
+      anon_sym_COLON,
+    STATE(97), 1,
+      aux_sym_param_block_repeat1,
+    ACTIONS(256), 2,
+      sym_identifier,
+      sym_symbol,
+  [2934] = 4,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(261), 1,
+      anon_sym_LPAREN,
     ACTIONS(264), 1,
+      anon_sym_in,
+    STATE(98), 2,
+      sym_binding,
+      aux_sym_let_repeat1,
+  [2948] = 4,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(206), 1,
       anon_sym_LPAREN,
     ACTIONS(266), 1,
-      anon_sym_in,
-    STATE(103), 2,
-      sym_binding,
-      aux_sym_let_repeat1,
-  [3011] = 4,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(268), 1,
       anon_sym_SEMI,
-    ACTIONS(270), 1,
-      anon_sym_LPAREN,
-    STATE(95), 2,
-      sym_variable_binding,
-      aux_sym_variable_repeat1,
-  [3025] = 4,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(270), 1,
-      anon_sym_LPAREN,
-    ACTIONS(272), 1,
-      anon_sym_SEMI,
-    STATE(95), 2,
-      sym_variable_binding,
-      aux_sym_variable_repeat1,
-  [3039] = 4,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(200), 1,
-      anon_sym_LPAREN,
-    ACTIONS(274), 1,
-      anon_sym_COMMA,
-    STATE(70), 2,
+    STATE(45), 2,
       sym_param_block,
-      aux_sym_labs_repeat1,
-  [3053] = 4,
+      aux_sym_variable_repeat1,
+  [2962] = 4,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(276), 1,
+    ACTIONS(206), 1,
       anon_sym_LPAREN,
-    ACTIONS(279), 1,
-      anon_sym_in,
-    STATE(103), 2,
-      sym_binding,
-      aux_sym_let_repeat1,
-  [3067] = 4,
+    ACTIONS(268), 1,
+      anon_sym_COMMA,
+    STATE(45), 2,
+      sym_param_block,
+      aux_sym_variable_repeat1,
+  [2976] = 4,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(281), 1,
+    ACTIONS(272), 1,
+      anon_sym_COLON,
+    STATE(97), 1,
+      aux_sym_param_block_repeat1,
+    ACTIONS(270), 2,
       sym_identifier,
-    ACTIONS(283), 1,
+      sym_symbol,
+  [2990] = 4,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(274), 1,
+      sym_identifier,
+    ACTIONS(276), 1,
       anon_sym_COLON,
     STATE(107), 1,
-      aux_sym_param_block_repeat1,
-  [3080] = 4,
+      aux_sym_labs_alt_repeat1,
+  [3003] = 3,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(281), 1,
+    STATE(101), 1,
+      aux_sym_param_block_repeat1,
+    ACTIONS(278), 2,
+      sym_identifier,
+      sym_symbol,
+  [3014] = 4,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(274), 1,
+      sym_identifier,
+    ACTIONS(280), 1,
+      anon_sym_COLON,
+    STATE(107), 1,
+      aux_sym_labs_alt_repeat1,
+  [3027] = 3,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(206), 1,
+      anon_sym_LPAREN,
+    STATE(95), 2,
+      sym_param_block,
+      aux_sym_variable_repeat1,
+  [3038] = 3,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(206), 1,
+      anon_sym_LPAREN,
+    STATE(89), 2,
+      sym_param_block,
+      aux_sym_variable_repeat1,
+  [3049] = 4,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(282), 1,
       sym_identifier,
     ACTIONS(285), 1,
       anon_sym_COLON,
     STATE(107), 1,
-      aux_sym_param_block_repeat1,
-  [3093] = 3,
+      aux_sym_labs_alt_repeat1,
+  [3062] = 3,
     ACTIONS(3), 1,
       sym_comment,
-    STATE(96), 1,
-      aux_sym_variable_binding_repeat1,
-    ACTIONS(287), 2,
-      sym_identifier,
+    ACTIONS(252), 1,
+      anon_sym_LPAREN,
+    STATE(96), 2,
+      sym_binding,
+      aux_sym_let_repeat1,
+  [3073] = 3,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(287), 1,
       sym_symbol,
-  [3104] = 4,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(289), 1,
-      sym_identifier,
-    ACTIONS(292), 1,
-      anon_sym_COLON,
-    STATE(107), 1,
-      aux_sym_param_block_repeat1,
-  [3117] = 4,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(281), 1,
-      sym_identifier,
-    ACTIONS(294), 1,
-      anon_sym_COLON,
-    STATE(107), 1,
-      aux_sym_param_block_repeat1,
-  [3130] = 3,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(296), 1,
-      sym_symbol,
-    ACTIONS(220), 2,
+    ACTIONS(216), 2,
       anon_sym_end,
       anon_sym_u2192,
-  [3141] = 3,
+  [3084] = 3,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(270), 1,
+    ACTIONS(206), 1,
+      anon_sym_LPAREN,
+    STATE(93), 2,
+      sym_param_block,
+      aux_sym_variable_repeat1,
+  [3095] = 3,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(206), 1,
       anon_sym_LPAREN,
     STATE(100), 2,
-      sym_variable_binding,
-      aux_sym_variable_repeat1,
-  [3152] = 3,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(200), 1,
-      anon_sym_LPAREN,
-    STATE(90), 2,
       sym_param_block,
-      aux_sym_labs_repeat1,
-  [3163] = 3,
+      aux_sym_variable_repeat1,
+  [3106] = 3,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(200), 1,
+    ACTIONS(206), 1,
+      anon_sym_LPAREN,
+    STATE(99), 2,
+      sym_param_block,
+      aux_sym_variable_repeat1,
+  [3117] = 3,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(206), 1,
       anon_sym_LPAREN,
     STATE(94), 2,
       sym_param_block,
-      aux_sym_labs_repeat1,
-  [3174] = 3,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(200), 1,
-      anon_sym_LPAREN,
-    STATE(102), 2,
-      sym_param_block,
-      aux_sym_labs_repeat1,
-  [3185] = 3,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(270), 1,
-      anon_sym_LPAREN,
-    STATE(101), 2,
-      sym_variable_binding,
       aux_sym_variable_repeat1,
-  [3196] = 3,
+  [3128] = 3,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(200), 1,
+    ACTIONS(204), 1,
+      anon_sym_end,
+    ACTIONS(289), 1,
+      anon_sym_u2192,
+  [3138] = 3,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(291), 1,
+      sym_identifier,
+    STATE(102), 1,
+      aux_sym_labs_alt_repeat1,
+  [3148] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(293), 2,
       anon_sym_LPAREN,
-    STATE(98), 2,
-      sym_param_block,
-      aux_sym_labs_repeat1,
-  [3207] = 3,
+      anon_sym_in,
+  [3156] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(264), 1,
-      anon_sym_LPAREN,
-    STATE(99), 2,
-      sym_binding,
-      aux_sym_let_repeat1,
-  [3218] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(298), 2,
+    ACTIONS(295), 2,
       sym_identifier,
       sym_symbol,
-  [3226] = 3,
+  [3164] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(300), 1,
+    ACTIONS(297), 2,
+      sym_identifier,
+      sym_symbol,
+  [3172] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(299), 2,
+      anon_sym_LPAREN,
+      anon_sym_in,
+  [3180] = 3,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(301), 1,
       sym_identifier,
     STATE(104), 1,
-      aux_sym_param_block_repeat1,
+      aux_sym_labs_alt_repeat1,
+  [3190] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(303), 2,
+      anon_sym_LPAREN,
+      anon_sym_in,
+  [3198] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(305), 2,
+      sym_identifier,
+      sym_symbol,
+  [3206] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(307), 2,
+      anon_sym_SEMI,
+      anon_sym_COLON_EQ,
+  [3214] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(309), 2,
+      sym_identifier,
+      sym_symbol,
+  [3222] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(311), 1,
+      anon_sym_RPAREN,
+  [3229] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(313), 1,
+      anon_sym_RPAREN,
   [3236] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(302), 2,
+    ACTIONS(315), 1,
       anon_sym_SEMI,
-      anon_sym_LPAREN,
-  [3244] = 3,
+  [3243] = 2,
+    ACTIONS(317), 1,
+      sym_comment,
+    ACTIONS(319), 1,
+      sym_post_command,
+  [3250] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(304), 1,
-      sym_identifier,
-    STATE(108), 1,
-      aux_sym_param_block_repeat1,
-  [3254] = 2,
+    ACTIONS(321), 1,
+      anon_sym_RPAREN,
+  [3257] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(306), 2,
-      anon_sym_LPAREN,
-      anon_sym_in,
-  [3262] = 3,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(214), 1,
-      anon_sym_end,
-    ACTIONS(308), 1,
-      anon_sym_u2192,
-  [3272] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(310), 2,
-      anon_sym_LPAREN,
-      anon_sym_in,
-  [3280] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(312), 2,
-      anon_sym_LPAREN,
-      anon_sym_in,
-  [3288] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(314), 2,
-      sym_identifier,
-      sym_symbol,
-  [3296] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(316), 2,
+    ACTIONS(323), 1,
       anon_sym_SEMI,
+  [3264] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(325), 1,
+      anon_sym_SEMI,
+  [3271] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(327), 1,
+      sym_identifier,
+  [3278] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(329), 1,
+      anon_sym_RPAREN,
+  [3285] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(234), 1,
       anon_sym_COLON_EQ,
-  [3304] = 3,
+  [3292] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(318), 1,
-      sym_identifier,
-    STATE(105), 1,
-      aux_sym_param_block_repeat1,
-  [3314] = 2,
+    ACTIONS(331), 1,
+      anon_sym_SEMI,
+  [3299] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(320), 2,
+    ACTIONS(333), 1,
+      anon_sym_SEMI,
+  [3306] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(335), 1,
+      anon_sym_RPAREN,
+  [3313] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(337), 1,
+      ts_builtin_sym_end,
+  [3320] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(339), 1,
+      anon_sym_RPAREN,
+  [3327] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(341), 1,
       sym_identifier,
+  [3334] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(343), 1,
+      anon_sym_SEMI,
+  [3341] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(345), 1,
+      anon_sym_SEMI,
+  [3348] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(347), 1,
+      anon_sym_RBRACK,
+  [3355] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(349), 1,
+      anon_sym_SEMI,
+  [3362] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(351), 1,
+      anon_sym_COLON_EQ,
+  [3369] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(353), 1,
+      anon_sym_RPAREN,
+  [3376] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(355), 1,
+      anon_sym_end,
+  [3383] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(357), 1,
+      sym_identifier,
+  [3390] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(359), 1,
+      anon_sym_end,
+  [3397] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(361), 1,
+      anon_sym_SEMI,
+  [3404] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(363), 1,
+      anon_sym_SEMI,
+  [3411] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(365), 1,
+      sym_precedence,
+  [3418] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(222), 1,
+      anon_sym_COLON_EQ,
+  [3425] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(367), 1,
+      anon_sym_SEMI,
+  [3432] = 2,
+    ACTIONS(317), 1,
+      sym_comment,
+    ACTIONS(369), 1,
+      sym_post_command,
+  [3439] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(371), 1,
+      sym_precedence,
+  [3446] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(373), 1,
+      anon_sym_COLON_EQ,
+  [3453] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(375), 1,
+      anon_sym_RBRACK,
+  [3460] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(377), 1,
       sym_symbol,
-  [3322] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(322), 2,
-      sym_identifier,
-      sym_symbol,
-  [3330] = 2,
+  [3467] = 2,
     ACTIONS(3), 1,
       sym_comment,
     ACTIONS(238), 1,
       anon_sym_COLON_EQ,
-  [3337] = 2,
+  [3474] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(324), 1,
-      anon_sym_RPAREN,
-  [3344] = 2,
+    ACTIONS(379), 1,
+      anon_sym_end,
+  [3481] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(326), 1,
-      anon_sym_SEMI,
-  [3351] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(328), 1,
-      sym_identifier,
-  [3358] = 2,
-    ACTIONS(330), 1,
-      sym_comment,
-    ACTIONS(332), 1,
-      sym_post_command,
-  [3365] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(334), 1,
-      anon_sym_RPAREN,
-  [3372] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(336), 1,
-      anon_sym_SEMI,
-  [3379] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(338), 1,
-      anon_sym_SEMI,
-  [3386] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(340), 1,
-      sym_identifier,
-  [3393] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(342), 1,
-      ts_builtin_sym_end,
-  [3400] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(206), 1,
+    ACTIONS(381), 1,
       anon_sym_COLON_EQ,
-  [3407] = 2,
+  [3488] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(344), 1,
+    ACTIONS(383), 1,
+      sym_identifier,
+  [3495] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(385), 1,
+      sym_identifier,
+  [3502] = 2,
+    ACTIONS(3), 1,
+      sym_comment,
+    ACTIONS(387), 1,
       anon_sym_SEMI,
-  [3414] = 2,
+  [3509] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(346), 1,
-      anon_sym_SEMI,
-  [3421] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(348), 1,
+    ACTIONS(389), 1,
       anon_sym_RPAREN,
-  [3428] = 2,
+  [3516] = 2,
     ACTIONS(3), 1,
       sym_comment,
-    ACTIONS(350), 1,
-      anon_sym_RPAREN,
-  [3435] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(352), 1,
-      sym_precedence,
-  [3442] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(354), 1,
-      anon_sym_RPAREN,
-  [3449] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(356), 1,
-      anon_sym_SEMI,
-  [3456] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(358), 1,
-      anon_sym_SEMI,
-  [3463] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(360), 1,
-      anon_sym_RBRACK,
-  [3470] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(362), 1,
-      anon_sym_RBRACK,
-  [3477] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(364), 1,
+    ACTIONS(391), 1,
       sym_symbol,
-  [3484] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(366), 1,
-      anon_sym_COLON_EQ,
-  [3491] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(368), 1,
-      anon_sym_end,
-  [3498] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(370), 1,
-      anon_sym_SEMI,
-  [3505] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(372), 1,
-      sym_symbol,
-  [3512] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(374), 1,
-      anon_sym_RPAREN,
-  [3519] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(204), 1,
-      anon_sym_COLON_EQ,
-  [3526] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(376), 1,
-      anon_sym_SEMI,
-  [3533] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(378), 1,
-      anon_sym_SEMI,
-  [3540] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(380), 1,
-      anon_sym_RPAREN,
-  [3547] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(382), 1,
-      anon_sym_RPAREN,
-  [3554] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(384), 1,
-      sym_precedence,
-  [3561] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(386), 1,
-      anon_sym_COLON_EQ,
-  [3568] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(388), 1,
-      anon_sym_end,
-  [3575] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(390), 1,
-      anon_sym_end,
-  [3582] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(392), 1,
-      anon_sym_SEMI,
-  [3589] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(394), 1,
-      anon_sym_SEMI,
-  [3596] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(396), 1,
-      anon_sym_COLON_EQ,
-  [3603] = 2,
-    ACTIONS(330), 1,
-      sym_comment,
-    ACTIONS(398), 1,
-      sym_post_command,
-  [3610] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(400), 1,
-      sym_identifier,
-  [3617] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(402), 1,
-      sym_identifier,
-  [3624] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(404), 1,
-      anon_sym_RPAREN,
-  [3631] = 2,
-    ACTIONS(3), 1,
-      sym_comment,
-    ACTIONS(406), 1,
-      sym_identifier,
 };
 
 static const uint32_t ts_small_parse_table_map[] = {
@@ -4232,348 +4123,335 @@ static const uint32_t ts_small_parse_table_map[] = {
   [SMALL_STATE(24)] = 1436,
   [SMALL_STATE(25)] = 1501,
   [SMALL_STATE(26)] = 1566,
-  [SMALL_STATE(27)] = 1631,
-  [SMALL_STATE(28)] = 1667,
-  [SMALL_STATE(29)] = 1703,
-  [SMALL_STATE(30)] = 1739,
-  [SMALL_STATE(31)] = 1775,
-  [SMALL_STATE(32)] = 1811,
-  [SMALL_STATE(33)] = 1847,
-  [SMALL_STATE(34)] = 1883,
-  [SMALL_STATE(35)] = 1919,
-  [SMALL_STATE(36)] = 1954,
-  [SMALL_STATE(37)] = 1989,
-  [SMALL_STATE(38)] = 2023,
-  [SMALL_STATE(39)] = 2043,
-  [SMALL_STATE(40)] = 2077,
-  [SMALL_STATE(41)] = 2095,
-  [SMALL_STATE(42)] = 2112,
-  [SMALL_STATE(43)] = 2129,
-  [SMALL_STATE(44)] = 2146,
-  [SMALL_STATE(45)] = 2163,
-  [SMALL_STATE(46)] = 2180,
-  [SMALL_STATE(47)] = 2199,
-  [SMALL_STATE(48)] = 2214,
-  [SMALL_STATE(49)] = 2229,
-  [SMALL_STATE(50)] = 2244,
-  [SMALL_STATE(51)] = 2259,
-  [SMALL_STATE(52)] = 2274,
-  [SMALL_STATE(53)] = 2291,
-  [SMALL_STATE(54)] = 2306,
-  [SMALL_STATE(55)] = 2321,
-  [SMALL_STATE(56)] = 2336,
-  [SMALL_STATE(57)] = 2351,
-  [SMALL_STATE(58)] = 2366,
-  [SMALL_STATE(59)] = 2381,
-  [SMALL_STATE(60)] = 2396,
-  [SMALL_STATE(61)] = 2411,
-  [SMALL_STATE(62)] = 2426,
-  [SMALL_STATE(63)] = 2441,
-  [SMALL_STATE(64)] = 2456,
-  [SMALL_STATE(65)] = 2471,
-  [SMALL_STATE(66)] = 2486,
-  [SMALL_STATE(67)] = 2502,
-  [SMALL_STATE(68)] = 2518,
-  [SMALL_STATE(69)] = 2534,
-  [SMALL_STATE(70)] = 2550,
-  [SMALL_STATE(71)] = 2570,
-  [SMALL_STATE(72)] = 2586,
-  [SMALL_STATE(73)] = 2606,
-  [SMALL_STATE(74)] = 2626,
-  [SMALL_STATE(75)] = 2638,
-  [SMALL_STATE(76)] = 2658,
-  [SMALL_STATE(77)] = 2670,
-  [SMALL_STATE(78)] = 2682,
-  [SMALL_STATE(79)] = 2694,
-  [SMALL_STATE(80)] = 2708,
-  [SMALL_STATE(81)] = 2720,
-  [SMALL_STATE(82)] = 2740,
-  [SMALL_STATE(83)] = 2754,
-  [SMALL_STATE(84)] = 2766,
-  [SMALL_STATE(85)] = 2778,
-  [SMALL_STATE(86)] = 2790,
-  [SMALL_STATE(87)] = 2810,
-  [SMALL_STATE(88)] = 2830,
-  [SMALL_STATE(89)] = 2847,
-  [SMALL_STATE(90)] = 2864,
-  [SMALL_STATE(91)] = 2879,
-  [SMALL_STATE(92)] = 2892,
-  [SMALL_STATE(93)] = 2909,
-  [SMALL_STATE(94)] = 2926,
-  [SMALL_STATE(95)] = 2941,
-  [SMALL_STATE(96)] = 2955,
-  [SMALL_STATE(97)] = 2969,
-  [SMALL_STATE(98)] = 2983,
-  [SMALL_STATE(99)] = 2997,
-  [SMALL_STATE(100)] = 3011,
-  [SMALL_STATE(101)] = 3025,
-  [SMALL_STATE(102)] = 3039,
-  [SMALL_STATE(103)] = 3053,
-  [SMALL_STATE(104)] = 3067,
-  [SMALL_STATE(105)] = 3080,
-  [SMALL_STATE(106)] = 3093,
-  [SMALL_STATE(107)] = 3104,
-  [SMALL_STATE(108)] = 3117,
-  [SMALL_STATE(109)] = 3130,
-  [SMALL_STATE(110)] = 3141,
-  [SMALL_STATE(111)] = 3152,
-  [SMALL_STATE(112)] = 3163,
-  [SMALL_STATE(113)] = 3174,
-  [SMALL_STATE(114)] = 3185,
-  [SMALL_STATE(115)] = 3196,
-  [SMALL_STATE(116)] = 3207,
-  [SMALL_STATE(117)] = 3218,
-  [SMALL_STATE(118)] = 3226,
-  [SMALL_STATE(119)] = 3236,
-  [SMALL_STATE(120)] = 3244,
-  [SMALL_STATE(121)] = 3254,
-  [SMALL_STATE(122)] = 3262,
-  [SMALL_STATE(123)] = 3272,
-  [SMALL_STATE(124)] = 3280,
-  [SMALL_STATE(125)] = 3288,
-  [SMALL_STATE(126)] = 3296,
-  [SMALL_STATE(127)] = 3304,
-  [SMALL_STATE(128)] = 3314,
-  [SMALL_STATE(129)] = 3322,
-  [SMALL_STATE(130)] = 3330,
-  [SMALL_STATE(131)] = 3337,
-  [SMALL_STATE(132)] = 3344,
-  [SMALL_STATE(133)] = 3351,
-  [SMALL_STATE(134)] = 3358,
-  [SMALL_STATE(135)] = 3365,
-  [SMALL_STATE(136)] = 3372,
-  [SMALL_STATE(137)] = 3379,
-  [SMALL_STATE(138)] = 3386,
-  [SMALL_STATE(139)] = 3393,
-  [SMALL_STATE(140)] = 3400,
-  [SMALL_STATE(141)] = 3407,
-  [SMALL_STATE(142)] = 3414,
-  [SMALL_STATE(143)] = 3421,
-  [SMALL_STATE(144)] = 3428,
-  [SMALL_STATE(145)] = 3435,
-  [SMALL_STATE(146)] = 3442,
-  [SMALL_STATE(147)] = 3449,
-  [SMALL_STATE(148)] = 3456,
-  [SMALL_STATE(149)] = 3463,
-  [SMALL_STATE(150)] = 3470,
-  [SMALL_STATE(151)] = 3477,
-  [SMALL_STATE(152)] = 3484,
-  [SMALL_STATE(153)] = 3491,
-  [SMALL_STATE(154)] = 3498,
-  [SMALL_STATE(155)] = 3505,
-  [SMALL_STATE(156)] = 3512,
-  [SMALL_STATE(157)] = 3519,
-  [SMALL_STATE(158)] = 3526,
-  [SMALL_STATE(159)] = 3533,
-  [SMALL_STATE(160)] = 3540,
-  [SMALL_STATE(161)] = 3547,
-  [SMALL_STATE(162)] = 3554,
-  [SMALL_STATE(163)] = 3561,
-  [SMALL_STATE(164)] = 3568,
-  [SMALL_STATE(165)] = 3575,
-  [SMALL_STATE(166)] = 3582,
-  [SMALL_STATE(167)] = 3589,
-  [SMALL_STATE(168)] = 3596,
-  [SMALL_STATE(169)] = 3603,
-  [SMALL_STATE(170)] = 3610,
-  [SMALL_STATE(171)] = 3617,
-  [SMALL_STATE(172)] = 3624,
-  [SMALL_STATE(173)] = 3631,
+  [SMALL_STATE(27)] = 1602,
+  [SMALL_STATE(28)] = 1638,
+  [SMALL_STATE(29)] = 1674,
+  [SMALL_STATE(30)] = 1710,
+  [SMALL_STATE(31)] = 1746,
+  [SMALL_STATE(32)] = 1782,
+  [SMALL_STATE(33)] = 1818,
+  [SMALL_STATE(34)] = 1854,
+  [SMALL_STATE(35)] = 1889,
+  [SMALL_STATE(36)] = 1924,
+  [SMALL_STATE(37)] = 1958,
+  [SMALL_STATE(38)] = 1992,
+  [SMALL_STATE(39)] = 2012,
+  [SMALL_STATE(40)] = 2030,
+  [SMALL_STATE(41)] = 2047,
+  [SMALL_STATE(42)] = 2064,
+  [SMALL_STATE(43)] = 2081,
+  [SMALL_STATE(44)] = 2098,
+  [SMALL_STATE(45)] = 2115,
+  [SMALL_STATE(46)] = 2136,
+  [SMALL_STATE(47)] = 2151,
+  [SMALL_STATE(48)] = 2166,
+  [SMALL_STATE(49)] = 2181,
+  [SMALL_STATE(50)] = 2196,
+  [SMALL_STATE(51)] = 2211,
+  [SMALL_STATE(52)] = 2226,
+  [SMALL_STATE(53)] = 2241,
+  [SMALL_STATE(54)] = 2258,
+  [SMALL_STATE(55)] = 2277,
+  [SMALL_STATE(56)] = 2292,
+  [SMALL_STATE(57)] = 2307,
+  [SMALL_STATE(58)] = 2322,
+  [SMALL_STATE(59)] = 2337,
+  [SMALL_STATE(60)] = 2352,
+  [SMALL_STATE(61)] = 2367,
+  [SMALL_STATE(62)] = 2382,
+  [SMALL_STATE(63)] = 2397,
+  [SMALL_STATE(64)] = 2412,
+  [SMALL_STATE(65)] = 2427,
+  [SMALL_STATE(66)] = 2442,
+  [SMALL_STATE(67)] = 2458,
+  [SMALL_STATE(68)] = 2474,
+  [SMALL_STATE(69)] = 2490,
+  [SMALL_STATE(70)] = 2506,
+  [SMALL_STATE(71)] = 2522,
+  [SMALL_STATE(72)] = 2537,
+  [SMALL_STATE(73)] = 2549,
+  [SMALL_STATE(74)] = 2569,
+  [SMALL_STATE(75)] = 2581,
+  [SMALL_STATE(76)] = 2595,
+  [SMALL_STATE(77)] = 2607,
+  [SMALL_STATE(78)] = 2627,
+  [SMALL_STATE(79)] = 2647,
+  [SMALL_STATE(80)] = 2659,
+  [SMALL_STATE(81)] = 2671,
+  [SMALL_STATE(82)] = 2683,
+  [SMALL_STATE(83)] = 2695,
+  [SMALL_STATE(84)] = 2707,
+  [SMALL_STATE(85)] = 2727,
+  [SMALL_STATE(86)] = 2747,
+  [SMALL_STATE(87)] = 2767,
+  [SMALL_STATE(88)] = 2784,
+  [SMALL_STATE(89)] = 2801,
+  [SMALL_STATE(90)] = 2816,
+  [SMALL_STATE(91)] = 2833,
+  [SMALL_STATE(92)] = 2846,
+  [SMALL_STATE(93)] = 2863,
+  [SMALL_STATE(94)] = 2878,
+  [SMALL_STATE(95)] = 2892,
+  [SMALL_STATE(96)] = 2906,
+  [SMALL_STATE(97)] = 2920,
+  [SMALL_STATE(98)] = 2934,
+  [SMALL_STATE(99)] = 2948,
+  [SMALL_STATE(100)] = 2962,
+  [SMALL_STATE(101)] = 2976,
+  [SMALL_STATE(102)] = 2990,
+  [SMALL_STATE(103)] = 3003,
+  [SMALL_STATE(104)] = 3014,
+  [SMALL_STATE(105)] = 3027,
+  [SMALL_STATE(106)] = 3038,
+  [SMALL_STATE(107)] = 3049,
+  [SMALL_STATE(108)] = 3062,
+  [SMALL_STATE(109)] = 3073,
+  [SMALL_STATE(110)] = 3084,
+  [SMALL_STATE(111)] = 3095,
+  [SMALL_STATE(112)] = 3106,
+  [SMALL_STATE(113)] = 3117,
+  [SMALL_STATE(114)] = 3128,
+  [SMALL_STATE(115)] = 3138,
+  [SMALL_STATE(116)] = 3148,
+  [SMALL_STATE(117)] = 3156,
+  [SMALL_STATE(118)] = 3164,
+  [SMALL_STATE(119)] = 3172,
+  [SMALL_STATE(120)] = 3180,
+  [SMALL_STATE(121)] = 3190,
+  [SMALL_STATE(122)] = 3198,
+  [SMALL_STATE(123)] = 3206,
+  [SMALL_STATE(124)] = 3214,
+  [SMALL_STATE(125)] = 3222,
+  [SMALL_STATE(126)] = 3229,
+  [SMALL_STATE(127)] = 3236,
+  [SMALL_STATE(128)] = 3243,
+  [SMALL_STATE(129)] = 3250,
+  [SMALL_STATE(130)] = 3257,
+  [SMALL_STATE(131)] = 3264,
+  [SMALL_STATE(132)] = 3271,
+  [SMALL_STATE(133)] = 3278,
+  [SMALL_STATE(134)] = 3285,
+  [SMALL_STATE(135)] = 3292,
+  [SMALL_STATE(136)] = 3299,
+  [SMALL_STATE(137)] = 3306,
+  [SMALL_STATE(138)] = 3313,
+  [SMALL_STATE(139)] = 3320,
+  [SMALL_STATE(140)] = 3327,
+  [SMALL_STATE(141)] = 3334,
+  [SMALL_STATE(142)] = 3341,
+  [SMALL_STATE(143)] = 3348,
+  [SMALL_STATE(144)] = 3355,
+  [SMALL_STATE(145)] = 3362,
+  [SMALL_STATE(146)] = 3369,
+  [SMALL_STATE(147)] = 3376,
+  [SMALL_STATE(148)] = 3383,
+  [SMALL_STATE(149)] = 3390,
+  [SMALL_STATE(150)] = 3397,
+  [SMALL_STATE(151)] = 3404,
+  [SMALL_STATE(152)] = 3411,
+  [SMALL_STATE(153)] = 3418,
+  [SMALL_STATE(154)] = 3425,
+  [SMALL_STATE(155)] = 3432,
+  [SMALL_STATE(156)] = 3439,
+  [SMALL_STATE(157)] = 3446,
+  [SMALL_STATE(158)] = 3453,
+  [SMALL_STATE(159)] = 3460,
+  [SMALL_STATE(160)] = 3467,
+  [SMALL_STATE(161)] = 3474,
+  [SMALL_STATE(162)] = 3481,
+  [SMALL_STATE(163)] = 3488,
+  [SMALL_STATE(164)] = 3495,
+  [SMALL_STATE(165)] = 3502,
+  [SMALL_STATE(166)] = 3509,
+  [SMALL_STATE(167)] = 3516,
 };
 
 static const TSParseActionEntry ts_parse_actions[] = {
   [0] = {.entry = {.count = 0, .reusable = false}},
   [1] = {.entry = {.count = 1, .reusable = false}}, RECOVER(),
   [3] = {.entry = {.count = 1, .reusable = true}}, SHIFT_EXTRA(),
-  [5] = {.entry = {.count = 1, .reusable = true}}, SHIFT(133),
-  [7] = {.entry = {.count = 1, .reusable = true}}, SHIFT(145),
-  [9] = {.entry = {.count = 1, .reusable = true}}, SHIFT(110),
-  [11] = {.entry = {.count = 1, .reusable = true}}, SHIFT(125),
-  [13] = {.entry = {.count = 1, .reusable = true}}, SHIFT(117),
-  [15] = {.entry = {.count = 1, .reusable = true}}, SHIFT(169),
-  [17] = {.entry = {.count = 1, .reusable = false}}, SHIFT(41),
-  [19] = {.entry = {.count = 1, .reusable = true}}, SHIFT(143),
-  [21] = {.entry = {.count = 1, .reusable = true}}, SHIFT(3),
-  [23] = {.entry = {.count = 1, .reusable = true}}, SHIFT(42),
-  [25] = {.entry = {.count = 1, .reusable = true}}, SHIFT(40),
-  [27] = {.entry = {.count = 1, .reusable = true}}, SHIFT(111),
-  [29] = {.entry = {.count = 1, .reusable = false}}, SHIFT(111),
-  [31] = {.entry = {.count = 1, .reusable = false}}, SHIFT(127),
-  [33] = {.entry = {.count = 1, .reusable = true}}, SHIFT(115),
-  [35] = {.entry = {.count = 1, .reusable = false}}, SHIFT(115),
-  [37] = {.entry = {.count = 1, .reusable = false}}, SHIFT(116),
-  [39] = {.entry = {.count = 1, .reusable = true}}, SHIFT(160),
+  [5] = {.entry = {.count = 1, .reusable = true}}, SHIFT(140),
+  [7] = {.entry = {.count = 1, .reusable = true}}, SHIFT(152),
+  [9] = {.entry = {.count = 1, .reusable = true}}, SHIFT(105),
+  [11] = {.entry = {.count = 1, .reusable = true}}, SHIFT(117),
+  [13] = {.entry = {.count = 1, .reusable = true}}, SHIFT(118),
+  [15] = {.entry = {.count = 1, .reusable = true}}, SHIFT(155),
+  [17] = {.entry = {.count = 1, .reusable = false}}, SHIFT(44),
+  [19] = {.entry = {.count = 1, .reusable = true}}, SHIFT(133),
+  [21] = {.entry = {.count = 1, .reusable = true}}, SHIFT(2),
+  [23] = {.entry = {.count = 1, .reusable = true}}, SHIFT(40),
+  [25] = {.entry = {.count = 1, .reusable = true}}, SHIFT(39),
+  [27] = {.entry = {.count = 1, .reusable = true}}, SHIFT(106),
+  [29] = {.entry = {.count = 1, .reusable = false}}, SHIFT(106),
+  [31] = {.entry = {.count = 1, .reusable = false}}, SHIFT(120),
+  [33] = {.entry = {.count = 1, .reusable = true}}, SHIFT(113),
+  [35] = {.entry = {.count = 1, .reusable = false}}, SHIFT(113),
+  [37] = {.entry = {.count = 1, .reusable = false}}, SHIFT(108),
+  [39] = {.entry = {.count = 1, .reusable = true}}, SHIFT(137),
   [41] = {.entry = {.count = 1, .reusable = false}}, SHIFT(66),
-  [43] = {.entry = {.count = 1, .reusable = true}}, SHIFT(2),
+  [43] = {.entry = {.count = 1, .reusable = true}}, SHIFT(3),
   [45] = {.entry = {.count = 1, .reusable = true}}, SHIFT(67),
-  [47] = {.entry = {.count = 1, .reusable = true}}, SHIFT(52),
-  [49] = {.entry = {.count = 1, .reusable = true}}, SHIFT(112),
-  [51] = {.entry = {.count = 1, .reusable = false}}, SHIFT(112),
-  [53] = {.entry = {.count = 1, .reusable = false}}, SHIFT(118),
-  [55] = {.entry = {.count = 1, .reusable = true}}, SHIFT(113),
-  [57] = {.entry = {.count = 1, .reusable = false}}, SHIFT(113),
-  [59] = {.entry = {.count = 1, .reusable = true}}, SHIFT(170),
-  [61] = {.entry = {.count = 1, .reusable = true}}, SHIFT(162),
-  [63] = {.entry = {.count = 1, .reusable = true}}, SHIFT(114),
-  [65] = {.entry = {.count = 1, .reusable = true}}, SHIFT(128),
-  [67] = {.entry = {.count = 1, .reusable = true}}, SHIFT(129),
-  [69] = {.entry = {.count = 1, .reusable = true}}, SHIFT(134),
-  [71] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(170),
-  [74] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0),
-  [76] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(162),
-  [79] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(114),
-  [82] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(128),
-  [85] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(129),
-  [88] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(134),
-  [91] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(41),
-  [94] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0),
-  [96] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(3),
-  [99] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(42),
-  [102] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(40),
-  [105] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(133),
-  [108] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(145),
-  [111] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(110),
-  [114] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(125),
-  [117] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(117),
-  [120] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(169),
-  [123] = {.entry = {.count = 1, .reusable = true}}, SHIFT(41),
-  [125] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_app, 1, 0, 0),
-  [127] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_program, 1, 0, 0),
+  [47] = {.entry = {.count = 1, .reusable = true}}, SHIFT(53),
+  [49] = {.entry = {.count = 1, .reusable = true}}, SHIFT(110),
+  [51] = {.entry = {.count = 1, .reusable = false}}, SHIFT(110),
+  [53] = {.entry = {.count = 1, .reusable = false}}, SHIFT(115),
+  [55] = {.entry = {.count = 1, .reusable = true}}, SHIFT(111),
+  [57] = {.entry = {.count = 1, .reusable = false}}, SHIFT(111),
+  [59] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_program, 1, 0, 0),
+  [61] = {.entry = {.count = 1, .reusable = true}}, SHIFT(164),
+  [63] = {.entry = {.count = 1, .reusable = true}}, SHIFT(156),
+  [65] = {.entry = {.count = 1, .reusable = true}}, SHIFT(112),
+  [67] = {.entry = {.count = 1, .reusable = true}}, SHIFT(122),
+  [69] = {.entry = {.count = 1, .reusable = true}}, SHIFT(124),
+  [71] = {.entry = {.count = 1, .reusable = true}}, SHIFT(128),
+  [73] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(44),
+  [76] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0),
+  [78] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(2),
+  [81] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(40),
+  [84] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(39),
+  [87] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(164),
+  [90] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0),
+  [92] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(156),
+  [95] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(112),
+  [98] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(122),
+  [101] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(124),
+  [104] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(128),
+  [107] = {.entry = {.count = 1, .reusable = true}}, SHIFT(44),
+  [109] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_app, 1, 0, 0),
+  [111] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(140),
+  [114] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(152),
+  [117] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(105),
+  [120] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(117),
+  [123] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(118),
+  [126] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_program_repeat1, 2, 0, 0), SHIFT_REPEAT(155),
   [129] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_app, 1, 0, 0),
   [131] = {.entry = {.count = 2, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(66),
   [134] = {.entry = {.count = 1, .reusable = false}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0),
-  [136] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(2),
+  [136] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(3),
   [139] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(67),
-  [142] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(52),
-  [145] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_sort, 1, 0, 0),
-  [147] = {.entry = {.count = 1, .reusable = true}}, SHIFT(43),
-  [149] = {.entry = {.count = 1, .reusable = true}}, SHIFT(66),
+  [142] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_app_repeat1, 2, 0, 0), SHIFT_REPEAT(53),
+  [145] = {.entry = {.count = 1, .reusable = true}}, SHIFT(66),
+  [147] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_sort, 1, 0, 0),
+  [149] = {.entry = {.count = 1, .reusable = true}}, SHIFT(43),
   [151] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_square, 1, 0, 0),
-  [153] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_term, 1, 0, 0),
-  [155] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_sort, 2, 0, 0),
-  [157] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_op_section, 3, 0, 0),
-  [159] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_term, 3, 0, 0),
-  [161] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_sort, 1, 0, 0),
-  [163] = {.entry = {.count = 1, .reusable = true}}, SHIFT(71),
-  [165] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 7, 0, 2),
-  [167] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_fixity, 4, 0, 0),
-  [169] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_preprocess, 2, 0, 0),
-  [171] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_variable, 3, 0, 0),
-  [173] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_square, 1, 0, 0),
-  [175] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_axiom, 5, 0, 2),
-  [177] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_axiom, 4, 0, 2),
-  [179] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_section, 5, 0, 0),
-  [181] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 6, 0, 2),
-  [183] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 5, 0, 2),
-  [185] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_term, 1, 0, 0),
-  [187] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_op_section, 3, 0, 0),
-  [189] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_term, 3, 0, 0),
-  [191] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_labs_repeat1, 2, 0, 0), SHIFT_REPEAT(120),
-  [194] = {.entry = {.count = 1, .reusable = false}}, REDUCE(aux_sym_labs_repeat1, 2, 0, 0),
-  [196] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_labs_repeat1, 2, 0, 0),
-  [198] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_sort, 2, 0, 0),
-  [200] = {.entry = {.count = 1, .reusable = true}}, SHIFT(120),
-  [202] = {.entry = {.count = 1, .reusable = false}}, SHIFT(4),
-  [204] = {.entry = {.count = 1, .reusable = true}}, SHIFT(17),
-  [206] = {.entry = {.count = 1, .reusable = true}}, SHIFT(8),
-  [208] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_app_term, 1, 0, 0),
-  [210] = {.entry = {.count = 1, .reusable = true}}, SHIFT(6),
-  [212] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_labs, 4, 0, 0),
-  [214] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_expr, 1, 0, 0),
-  [216] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_pabs, 4, 0, 0),
-  [218] = {.entry = {.count = 1, .reusable = true}}, SHIFT(37),
-  [220] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binex, 1, 0, 0),
-  [222] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_let, 5, 0, 0),
-  [224] = {.entry = {.count = 1, .reusable = true}}, SHIFT(15),
-  [226] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_param_block, 5, 0, 4),
-  [228] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_param_block, 5, 0, 4),
-  [230] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binex, 3, 0, 0),
-  [232] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_arrow, 3, 0, 0),
-  [234] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_labs_alt, 6, 0, 4),
-  [236] = {.entry = {.count = 1, .reusable = true}}, SHIFT(23),
+  [153] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_op_section, 3, 0, 0),
+  [155] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_term, 3, 0, 0),
+  [157] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_sort, 2, 0, 0),
+  [159] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_term, 1, 0, 0),
+  [161] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_variable_repeat1, 2, 0, 0),
+  [163] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_variable_repeat1, 2, 0, 0), SHIFT_REPEAT(103),
+  [166] = {.entry = {.count = 1, .reusable = false}}, REDUCE(aux_sym_variable_repeat1, 2, 0, 0),
+  [168] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 7, 0, 2),
+  [170] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_preprocess, 2, 0, 0),
+  [172] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_axiom, 5, 0, 2),
+  [174] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 5, 0, 2),
+  [176] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_variable, 3, 0, 0),
+  [178] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_fixity, 4, 0, 0),
+  [180] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_square, 1, 0, 0),
+  [182] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_sort, 1, 0, 0),
+  [184] = {.entry = {.count = 1, .reusable = true}}, SHIFT(68),
+  [186] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_axiom, 4, 0, 2),
+  [188] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_section, 5, 0, 0),
+  [190] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_definition, 6, 0, 2),
+  [192] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_term, 1, 0, 0),
+  [194] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_sort, 2, 0, 0),
+  [196] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_term, 3, 0, 0),
+  [198] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_op_section, 3, 0, 0),
+  [200] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_param_block, 5, 0, 3),
+  [202] = {.entry = {.count = 1, .reusable = false}}, REDUCE(sym_param_block, 5, 0, 3),
+  [204] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_expr, 1, 0, 0),
+  [206] = {.entry = {.count = 1, .reusable = true}}, SHIFT(103),
+  [208] = {.entry = {.count = 1, .reusable = false}}, SHIFT(4),
+  [210] = {.entry = {.count = 1, .reusable = true}}, SHIFT(5),
+  [212] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_labs_alt, 6, 0, 3),
+  [214] = {.entry = {.count = 1, .reusable = true}}, SHIFT(37),
+  [216] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binex, 1, 0, 0),
+  [218] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_app_term, 1, 0, 0),
+  [220] = {.entry = {.count = 1, .reusable = true}}, SHIFT(16),
+  [222] = {.entry = {.count = 1, .reusable = true}}, SHIFT(8),
+  [224] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binex, 3, 0, 0),
+  [226] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_arrow, 3, 0, 0),
+  [228] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_let, 5, 0, 0),
+  [230] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_labs, 4, 0, 0),
+  [232] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_pabs, 4, 0, 0),
+  [234] = {.entry = {.count = 1, .reusable = true}}, SHIFT(15),
+  [236] = {.entry = {.count = 1, .reusable = true}}, SHIFT(22),
   [238] = {.entry = {.count = 1, .reusable = true}}, SHIFT(24),
   [240] = {.entry = {.count = 1, .reusable = true}}, SHIFT(4),
-  [242] = {.entry = {.count = 1, .reusable = true}}, SHIFT(12),
-  [244] = {.entry = {.count = 1, .reusable = true}}, SHIFT(10),
-  [246] = {.entry = {.count = 1, .reusable = true}}, SHIFT(20),
-  [248] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_variable_repeat1, 2, 0, 0),
-  [250] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_variable_repeat1, 2, 0, 0), SHIFT_REPEAT(106),
-  [253] = {.entry = {.count = 1, .reusable = true}}, SHIFT(97),
-  [255] = {.entry = {.count = 1, .reusable = true}}, SHIFT(7),
-  [257] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_variable_binding_repeat1, 2, 0, 0), SHIFT_REPEAT(97),
-  [260] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_variable_binding_repeat1, 2, 0, 0),
-  [262] = {.entry = {.count = 1, .reusable = true}}, SHIFT(26),
-  [264] = {.entry = {.count = 1, .reusable = true}}, SHIFT(171),
-  [266] = {.entry = {.count = 1, .reusable = true}}, SHIFT(14),
-  [268] = {.entry = {.count = 1, .reusable = true}}, SHIFT(53),
-  [270] = {.entry = {.count = 1, .reusable = true}}, SHIFT(106),
-  [272] = {.entry = {.count = 1, .reusable = true}}, SHIFT(50),
-  [274] = {.entry = {.count = 1, .reusable = true}}, SHIFT(21),
-  [276] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_let_repeat1, 2, 0, 0), SHIFT_REPEAT(171),
-  [279] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_let_repeat1, 2, 0, 0),
-  [281] = {.entry = {.count = 1, .reusable = true}}, SHIFT(107),
-  [283] = {.entry = {.count = 1, .reusable = true}}, SHIFT(5),
-  [285] = {.entry = {.count = 1, .reusable = true}}, SHIFT(13),
-  [287] = {.entry = {.count = 1, .reusable = true}}, SHIFT(96),
-  [289] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_param_block_repeat1, 2, 0, 0), SHIFT_REPEAT(107),
-  [292] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_param_block_repeat1, 2, 0, 0),
-  [294] = {.entry = {.count = 1, .reusable = true}}, SHIFT(9),
-  [296] = {.entry = {.count = 1, .reusable = true}}, SHIFT(39),
-  [298] = {.entry = {.count = 1, .reusable = true}}, SHIFT(75),
-  [300] = {.entry = {.count = 1, .reusable = true}}, SHIFT(104),
-  [302] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_variable_binding, 5, 0, 3),
-  [304] = {.entry = {.count = 1, .reusable = true}}, SHIFT(108),
-  [306] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 5, 0, 0),
-  [308] = {.entry = {.count = 1, .reusable = true}}, SHIFT(19),
-  [310] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 6, 0, 0),
-  [312] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 7, 0, 0),
-  [314] = {.entry = {.count = 1, .reusable = true}}, SHIFT(92),
-  [316] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_ascription, 2, 0, 1),
-  [318] = {.entry = {.count = 1, .reusable = true}}, SHIFT(105),
-  [320] = {.entry = {.count = 1, .reusable = true}}, SHIFT(93),
-  [322] = {.entry = {.count = 1, .reusable = true}}, SHIFT(86),
-  [324] = {.entry = {.count = 1, .reusable = true}}, SHIFT(121),
-  [326] = {.entry = {.count = 1, .reusable = true}}, SHIFT(58),
-  [328] = {.entry = {.count = 1, .reusable = true}}, SHIFT(27),
-  [330] = {.entry = {.count = 1, .reusable = false}}, SHIFT_EXTRA(),
-  [332] = {.entry = {.count = 1, .reusable = false}}, SHIFT(49),
-  [334] = {.entry = {.count = 1, .reusable = true}}, SHIFT(123),
-  [336] = {.entry = {.count = 1, .reusable = true}}, SHIFT(51),
-  [338] = {.entry = {.count = 1, .reusable = true}}, SHIFT(55),
-  [340] = {.entry = {.count = 1, .reusable = true}}, SHIFT(56),
-  [342] = {.entry = {.count = 1, .reusable = true}},  ACCEPT_INPUT(),
-  [344] = {.entry = {.count = 1, .reusable = true}}, SHIFT(59),
-  [346] = {.entry = {.count = 1, .reusable = true}}, SHIFT(60),
-  [348] = {.entry = {.count = 1, .reusable = true}}, SHIFT(68),
-  [350] = {.entry = {.count = 1, .reusable = true}}, SHIFT(69),
-  [352] = {.entry = {.count = 1, .reusable = true}}, SHIFT(155),
-  [354] = {.entry = {.count = 1, .reusable = true}}, SHIFT(124),
-  [356] = {.entry = {.count = 1, .reusable = true}}, SHIFT(64),
-  [358] = {.entry = {.count = 1, .reusable = true}}, SHIFT(65),
-  [360] = {.entry = {.count = 1, .reusable = true}}, SHIFT(22),
-  [362] = {.entry = {.count = 1, .reusable = true}}, SHIFT(16),
-  [364] = {.entry = {.count = 1, .reusable = true}}, SHIFT(136),
-  [366] = {.entry = {.count = 1, .reusable = true}}, SHIFT(11),
-  [368] = {.entry = {.count = 1, .reusable = true}}, SHIFT(138),
-  [370] = {.entry = {.count = 1, .reusable = true}}, SHIFT(62),
-  [372] = {.entry = {.count = 1, .reusable = true}}, SHIFT(166),
-  [374] = {.entry = {.count = 1, .reusable = true}}, SHIFT(119),
-  [376] = {.entry = {.count = 1, .reusable = true}}, SHIFT(54),
-  [378] = {.entry = {.count = 1, .reusable = true}}, SHIFT(57),
-  [380] = {.entry = {.count = 1, .reusable = true}}, SHIFT(44),
-  [382] = {.entry = {.count = 1, .reusable = true}}, SHIFT(45),
-  [384] = {.entry = {.count = 1, .reusable = true}}, SHIFT(151),
-  [386] = {.entry = {.count = 1, .reusable = true}}, SHIFT(18),
-  [388] = {.entry = {.count = 1, .reusable = true}}, SHIFT(80),
-  [390] = {.entry = {.count = 1, .reusable = true}}, SHIFT(173),
-  [392] = {.entry = {.count = 1, .reusable = true}}, SHIFT(48),
-  [394] = {.entry = {.count = 1, .reusable = true}}, SHIFT(47),
-  [396] = {.entry = {.count = 1, .reusable = true}}, SHIFT(25),
-  [398] = {.entry = {.count = 1, .reusable = false}}, SHIFT(63),
-  [400] = {.entry = {.count = 1, .reusable = true}}, SHIFT(30),
-  [402] = {.entry = {.count = 1, .reusable = true}}, SHIFT(81),
-  [404] = {.entry = {.count = 1, .reusable = true}}, SHIFT(82),
-  [406] = {.entry = {.count = 1, .reusable = true}}, SHIFT(61),
+  [242] = {.entry = {.count = 1, .reusable = true}}, SHIFT(11),
+  [244] = {.entry = {.count = 1, .reusable = true}}, SHIFT(9),
+  [246] = {.entry = {.count = 1, .reusable = true}}, SHIFT(18),
+  [248] = {.entry = {.count = 1, .reusable = true}}, SHIFT(13),
+  [250] = {.entry = {.count = 1, .reusable = true}}, SHIFT(63),
+  [252] = {.entry = {.count = 1, .reusable = true}}, SHIFT(148),
+  [254] = {.entry = {.count = 1, .reusable = true}}, SHIFT(14),
+  [256] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_param_block_repeat1, 2, 0, 0), SHIFT_REPEAT(97),
+  [259] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_param_block_repeat1, 2, 0, 0),
+  [261] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_let_repeat1, 2, 0, 0), SHIFT_REPEAT(148),
+  [264] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_let_repeat1, 2, 0, 0),
+  [266] = {.entry = {.count = 1, .reusable = true}}, SHIFT(51),
+  [268] = {.entry = {.count = 1, .reusable = true}}, SHIFT(21),
+  [270] = {.entry = {.count = 1, .reusable = true}}, SHIFT(97),
+  [272] = {.entry = {.count = 1, .reusable = true}}, SHIFT(6),
+  [274] = {.entry = {.count = 1, .reusable = true}}, SHIFT(107),
+  [276] = {.entry = {.count = 1, .reusable = true}}, SHIFT(7),
+  [278] = {.entry = {.count = 1, .reusable = true}}, SHIFT(101),
+  [280] = {.entry = {.count = 1, .reusable = true}}, SHIFT(12),
+  [282] = {.entry = {.count = 2, .reusable = true}}, REDUCE(aux_sym_labs_alt_repeat1, 2, 0, 0), SHIFT_REPEAT(107),
+  [285] = {.entry = {.count = 1, .reusable = true}}, REDUCE(aux_sym_labs_alt_repeat1, 2, 0, 0),
+  [287] = {.entry = {.count = 1, .reusable = true}}, SHIFT(36),
+  [289] = {.entry = {.count = 1, .reusable = true}}, SHIFT(17),
+  [291] = {.entry = {.count = 1, .reusable = true}}, SHIFT(102),
+  [293] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 5, 0, 0),
+  [295] = {.entry = {.count = 1, .reusable = true}}, SHIFT(90),
+  [297] = {.entry = {.count = 1, .reusable = true}}, SHIFT(73),
+  [299] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 6, 0, 0),
+  [301] = {.entry = {.count = 1, .reusable = true}}, SHIFT(104),
+  [303] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_binding, 7, 0, 0),
+  [305] = {.entry = {.count = 1, .reusable = true}}, SHIFT(87),
+  [307] = {.entry = {.count = 1, .reusable = true}}, REDUCE(sym_ascription, 2, 0, 1),
+  [309] = {.entry = {.count = 1, .reusable = true}}, SHIFT(85),
+  [311] = {.entry = {.count = 1, .reusable = true}}, SHIFT(69),
+  [313] = {.entry = {.count = 1, .reusable = true}}, SHIFT(121),
+  [315] = {.entry = {.count = 1, .reusable = true}}, SHIFT(61),
+  [317] = {.entry = {.count = 1, .reusable = false}}, SHIFT_EXTRA(),
+  [319] = {.entry = {.count = 1, .reusable = false}}, SHIFT(50),
+  [321] = {.entry = {.count = 1, .reusable = true}}, SHIFT(71),
+  [323] = {.entry = {.count = 1, .reusable = true}}, SHIFT(52),
+  [325] = {.entry = {.count = 1, .reusable = true}}, SHIFT(55),
+  [327] = {.entry = {.count = 1, .reusable = true}}, SHIFT(56),
+  [329] = {.entry = {.count = 1, .reusable = true}}, SHIFT(41),
+  [331] = {.entry = {.count = 1, .reusable = true}}, SHIFT(59),
+  [333] = {.entry = {.count = 1, .reusable = true}}, SHIFT(60),
+  [335] = {.entry = {.count = 1, .reusable = true}}, SHIFT(70),
+  [337] = {.entry = {.count = 1, .reusable = true}},  ACCEPT_INPUT(),
+  [339] = {.entry = {.count = 1, .reusable = true}}, SHIFT(42),
+  [341] = {.entry = {.count = 1, .reusable = true}}, SHIFT(27),
+  [343] = {.entry = {.count = 1, .reusable = true}}, SHIFT(65),
+  [345] = {.entry = {.count = 1, .reusable = true}}, SHIFT(57),
+  [347] = {.entry = {.count = 1, .reusable = true}}, SHIFT(20),
+  [349] = {.entry = {.count = 1, .reusable = true}}, SHIFT(48),
+  [351] = {.entry = {.count = 1, .reusable = true}}, SHIFT(19),
+  [353] = {.entry = {.count = 1, .reusable = true}}, SHIFT(116),
+  [355] = {.entry = {.count = 1, .reusable = true}}, SHIFT(132),
+  [357] = {.entry = {.count = 1, .reusable = true}}, SHIFT(77),
+  [359] = {.entry = {.count = 1, .reusable = true}}, SHIFT(163),
+  [361] = {.entry = {.count = 1, .reusable = true}}, SHIFT(64),
+  [363] = {.entry = {.count = 1, .reusable = true}}, SHIFT(49),
+  [365] = {.entry = {.count = 1, .reusable = true}}, SHIFT(159),
+  [367] = {.entry = {.count = 1, .reusable = true}}, SHIFT(46),
+  [369] = {.entry = {.count = 1, .reusable = false}}, SHIFT(47),
+  [371] = {.entry = {.count = 1, .reusable = true}}, SHIFT(167),
+  [373] = {.entry = {.count = 1, .reusable = true}}, SHIFT(10),
+  [375] = {.entry = {.count = 1, .reusable = true}}, SHIFT(23),
+  [377] = {.entry = {.count = 1, .reusable = true}}, SHIFT(150),
+  [379] = {.entry = {.count = 1, .reusable = true}}, SHIFT(81),
+  [381] = {.entry = {.count = 1, .reusable = true}}, SHIFT(25),
+  [383] = {.entry = {.count = 1, .reusable = true}}, SHIFT(62),
+  [385] = {.entry = {.count = 1, .reusable = true}}, SHIFT(33),
+  [387] = {.entry = {.count = 1, .reusable = true}}, SHIFT(58),
+  [389] = {.entry = {.count = 1, .reusable = true}}, SHIFT(119),
+  [391] = {.entry = {.count = 1, .reusable = true}}, SHIFT(130),
 };
 
 #ifdef __cplusplus
diff --git a/test/corpus/section.txt b/test/corpus/section.txt
index 0a54db9..caf09ba 100644
--- a/test/corpus/section.txt
+++ b/test/corpus/section.txt
@@ -18,7 +18,7 @@ end Test
         (identifier)
         (program
           (variable
-            (variable_binding
+            (param_block
               (identifier)
               (identifier)
               (identifier)
@@ -30,7 +30,7 @@ end Test
                         (sort
                           (star)))))))))
           (variable
-            (variable_binding
+            (param_block
               (identifier)
               (expr
                 (app_term
@@ -38,7 +38,7 @@ end Test
                     (app
                       (term
                         (identifier)))))))
-            (variable_binding
+            (param_block
               (identifier)
               (expr
                 (app_term
@@ -46,7 +46,7 @@ end Test
                     (app
                       (term
                         (identifier)))))))
-            (variable_binding
+            (param_block
               (identifier)
               (identifier)
               (expr