Change Major Level Names #31

Author: TobiUUlm

tree-sitter-uvl/grammar.js

@@ -192,9 +192,9 @@ module.exports = grammar({
             "optional",
         ),
         major_lvl: _ => choice(
-            'SMT-level',
-            'SAT-level',
-            'TYPE-level',
+            'Boolean',
+            'Arithmetic',
+            'Type',
         ),
         minor_lvl: _ => choice(
             'group-cardinality',

tree-sitter-uvl/src/grammar.json

@@ -1415,15 +1415,15 @@
       "members": [
         {
           "type": "STRING",
-          "value": "SMT-level"
+          "value": "Boolean"
         },
         {
           "type": "STRING",
-          "value": "SAT-level"
+          "value": "Arithmetic"
         },
         {
           "type": "STRING",
-          "value": "TYPE-level"
+          "value": "Type"
         }
       ]
     },

tree-sitter-uvl/src/node-types.json

@@ -930,31 +930,27 @@
     "named": false
   },
   {
-    "type": "Boolean",
-    "named": false
-  },
-  {
-    "type": "Integer",
+    "type": "Arithmetic",
     "named": false
   },
   {
-    "type": "Real",
+    "type": "Boolean",
     "named": false
   },
   {
-    "type": "SAT-level",
+    "type": "Integer",
     "named": false
   },
   {
-    "type": "SMT-level",
+    "type": "Real",
     "named": false
   },
   {
     "type": "String",
     "named": false
   },
   {
-    "type": "TYPE-level",
+    "type": "Type",
     "named": false
   },
   {