diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps
index 3903a19a..c6ab675a 100644
--- a/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps
+++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps
@@ -3,12 +3,17 @@
   <persistence version="9" />
   <languages>
     <use id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" name="jetbrains.mps.lang.typesystem" version="-1" />
+    <use id="894463aa-8754-49c0-bf4b-6a32af66b376" name="jetbrains.mps.jchr" version="0" />
+    <use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="0" />
+    <use id="ed6d7656-532c-4bc2-81d1-af945aeb8280" name="jetbrains.mps.baseLanguage.blTypes" version="0" />
+    <use id="9ded098b-ad6a-4657-bfd9-48636cfe8bc3" name="jetbrains.mps.lang.traceable" version="0" />
     <devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
   </languages>
   <imports>
     <import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
     <import index="wq2x" ref="r:83137295-aa87-45e8-b0c0-ede2adf2a396(jetbrains.mps.lang.typesystem2.structure)" />
     <import index="i348" ref="r:42a15dec-83a9-4fe1-80d6-3bf898c512bd(jetbrains.mps.lang.typesystem2.template)" />
+    <import index="5j4j" ref="r:c8fb1c5e-8204-4904-a38f-678899d447c1(jetbrains.mps.logic.structure)" />
     <import index="x5bw" ref="r:15ea4f4e-2f41-4ce3-b7e4-a4e0737f0171(jetbrains.mps.lang.typesystem2.behavior)" implicit="true" />
     <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
     <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
@@ -973,5 +978,35 @@
       <ref role="1YaFvo" to="wq2x:6p0DfM0ang5" resolve="UserConstraint" />
     </node>
   </node>
+  <node concept="1YbPZF" id="7dgRGU4_Y57">
+    <property role="TrG5h" value="typeof_LogicalExpression" />
+    <node concept="3clFbS" id="7dgRGU4_Y58" role="18ibNy">
+      <node concept="1Z5TYs" id="7dgRGU4_Y6_" role="3cqZAp">
+        <node concept="mw_s8" id="7dgRGU4_Y6C" role="1ZfhK$">
+          <node concept="1Z2H0r" id="7dgRGU4_Y5e" role="mwGJk">
+            <node concept="1YBJjd" id="7dgRGU4_Y5E" role="1Z2MuG">
+              <ref role="1YBMHb" node="7dgRGU4_Y5a" resolve="logicalExpression" />
+            </node>
+          </node>
+        </node>
+        <node concept="mw_s8" id="7dgRGU4Aknk" role="1ZfhKB">
+          <node concept="1Z2H0r" id="7dgRGU4Akng" role="mwGJk">
+            <node concept="2OqwBi" id="7dgRGU4Akpe" role="1Z2MuG">
+              <node concept="1YBJjd" id="7dgRGU4Akn_" role="2Oq$k0">
+                <ref role="1YBMHb" node="7dgRGU4_Y5a" resolve="logicalExpression" />
+              </node>
+              <node concept="3TrEf2" id="7dgRGU4AkE3" role="2OqNvi">
+                <ref role="3Tt5mk" to="wq2x:6p0DfM0pQge" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1YaCAy" id="7dgRGU4_Y5a" role="1YuTPh">
+      <property role="TrG5h" value="logicalExpression" />
+      <ref role="1YaFvo" to="wq2x:6p0DfM0pKSO" resolve="LogicalExpression" />
+    </node>
+  </node>
 </model>
 
diff --git a/languages/jetbrains.mps.logic/languageModels/structure.mps b/languages/jetbrains.mps.logic/languageModels/structure.mps
index c5a4fd6f..25e5e56b 100644
--- a/languages/jetbrains.mps.logic/languageModels/structure.mps
+++ b/languages/jetbrains.mps.logic/languageModels/structure.mps
@@ -11,6 +11,7 @@
   </imports>
   <registry>
     <language id="c72da2b9-7cce-4447-8389-f407dc1158b7" name="jetbrains.mps.lang.structure">
+      <concept id="1224240836180" name="jetbrains.mps.lang.structure.structure.DeprecatedNodeAnnotation" flags="ig" index="asaX9" />
       <concept id="6054523464626862044" name="jetbrains.mps.lang.structure.structure.AttributeInfo_IsMultiple" flags="ng" index="tn0Fv">
         <property id="6054523464626875854" name="value" index="tnX3d" />
       </concept>
@@ -267,6 +268,7 @@
     <node concept="1TJgyi" id="7E86$tKtijQ" role="1TKVEl">
       <property role="TrG5h" value="isMulti" />
       <ref role="AX2Wp" to="tpck:fKAQMTB" resolve="boolean" />
+      <node concept="asaX9" id="7dgRGU4AfJD" role="lGtFl" />
     </node>
     <node concept="PrWs8" id="7E86$tKtid6" role="PzmwI">
       <ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
diff --git a/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/languages/jetbrains.mps.logic/languageModels/typesystem.mps
index ba6f0119..52f31e7e 100644
--- a/languages/jetbrains.mps.logic/languageModels/typesystem.mps
+++ b/languages/jetbrains.mps.logic/languageModels/typesystem.mps
@@ -16,9 +16,14 @@
     <import index="5j4j" ref="r:c8fb1c5e-8204-4904-a38f-678899d447c1(jetbrains.mps.logic.structure)" />
     <import index="oy3s" ref="r:a6030cee-34eb-4503-b1bf-015fe5cd8c1a(jetbrains.mps.logic.builtin.unification)" />
     <import index="wq2x" ref="r:83137295-aa87-45e8-b0c0-ede2adf2a396(jetbrains.mps.lang.typesystem2.structure)" />
+    <import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" />
   </imports>
   <registry>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
+        <child id="1082485599096" name="statements" index="9aQI4" />
+      </concept>
+      <concept id="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
       <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
         <child id="1197027771414" name="operand" index="2Oq$k0" />
         <child id="1197027833540" name="operation" index="2OqNvi" />
@@ -26,18 +31,30 @@
       <concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
         <child id="1137022507850" name="body" index="2VODD2" />
       </concept>
+      <concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
+      <concept id="1070534760951" name="jetbrains.mps.baseLanguage.structure.ArrayType" flags="in" index="10Q1$e">
+        <child id="1070534760952" name="componentType" index="10Q1$1" />
+      </concept>
       <concept id="1068431790189" name="jetbrains.mps.baseLanguage.structure.Type" flags="in" index="33vP2l" />
+      <concept id="1225271177708" name="jetbrains.mps.baseLanguage.structure.StringType" flags="in" index="17QB3L" />
+      <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
+        <child id="5680397130376446158" name="type" index="1tU5fm" />
+      </concept>
       <concept id="1068580123152" name="jetbrains.mps.baseLanguage.structure.EqualsExpression" flags="nn" index="3clFbC" />
       <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
         <child id="1068580123156" name="expression" index="3clFbG" />
       </concept>
       <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
+        <child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
         <child id="1068580123160" name="condition" index="3clFbw" />
         <child id="1068580123161" name="ifTrue" index="3clFbx" />
       </concept>
       <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
         <child id="1068581517665" name="statement" index="3cqZAp" />
       </concept>
+      <concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
+        <child id="1081516765348" name="expression" index="3fr31v" />
+      </concept>
       <concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
         <reference id="1107535924139" name="classifier" index="3uigEE" />
       </concept>
@@ -51,6 +68,7 @@
       <concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
         <child id="6329021646629175155" name="commentPart" index="3SKWNk" />
       </concept>
+      <concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
     </language>
     <language id="d4615e3b-d671-4ba9-af01-2b78369b0ba7" name="jetbrains.mps.lang.pattern">
       <concept id="1136720037777" name="jetbrains.mps.lang.pattern.structure.PatternExpression" flags="in" index="2DMOqp">
@@ -86,10 +104,19 @@
       <concept id="1185788614172" name="jetbrains.mps.lang.typesystem.structure.NormalTypeClause" flags="ng" index="mw_s8">
         <child id="1185788644032" name="normalType" index="mwGJk" />
       </concept>
+      <concept id="1185805035213" name="jetbrains.mps.lang.typesystem.structure.WhenConcreteStatement" flags="nn" index="nvevp">
+        <child id="1185805047793" name="body" index="nvhr_" />
+        <child id="1185805056450" name="argument" index="nvjzm" />
+        <child id="1205761991995" name="argumentRepresentator" index="2X0Ygz" />
+      </concept>
       <concept id="1175147569072" name="jetbrains.mps.lang.typesystem.structure.AbstractSubtypingRule" flags="ig" index="2sgdUx">
         <child id="1175147624276" name="body" index="2sgrp5" />
       </concept>
       <concept id="1175147670730" name="jetbrains.mps.lang.typesystem.structure.SubtypingRule" flags="ig" index="2sgARr" />
+      <concept id="1205762105978" name="jetbrains.mps.lang.typesystem.structure.WhenConcreteVariableDeclaration" flags="ng" index="2X1qdy" />
+      <concept id="1205762656241" name="jetbrains.mps.lang.typesystem.structure.WhenConcreteVariableReference" flags="nn" index="2X3wrD">
+        <reference id="1205762683928" name="whenConcreteVar" index="2X3Bk0" />
+      </concept>
       <concept id="1201607707634" name="jetbrains.mps.lang.typesystem.structure.InequationReplacementRule" flags="ig" index="35pCF_">
         <child id="1201607798918" name="supertypeNode" index="35pZ6h" />
         <child id="3592071576955708909" name="isApplicableClause" index="1xSnZW" />
@@ -98,6 +125,10 @@
         <child id="1195213635060" name="body" index="18ibNy" />
       </concept>
       <concept id="3592071576955708904" name="jetbrains.mps.lang.typesystem.structure.IsReplacementRuleApplicable_ConceptFunction" flags="in" index="1xSnZT" />
+      <concept id="1176543928247" name="jetbrains.mps.lang.typesystem.structure.IsSubtypeExpression" flags="nn" index="3JuTUA">
+        <child id="1176543945045" name="subtypeExpression" index="3JuY14" />
+        <child id="1176543950311" name="supertypeExpression" index="3JuZjQ" />
+      </concept>
       <concept id="1178870617262" name="jetbrains.mps.lang.typesystem.structure.CoerceExpression" flags="nn" index="1UaxmW">
         <child id="1178870894644" name="pattern" index="1Ub_4A" />
         <child id="1178870894645" name="nodeToCoerce" index="1Ub_4B" />
@@ -120,9 +151,14 @@
       </concept>
       <concept id="1174658326157" name="jetbrains.mps.lang.typesystem.structure.CreateEquationStatement" flags="nn" index="1Z5TYs" />
       <concept id="1174660718586" name="jetbrains.mps.lang.typesystem.structure.AbstractEquationStatement" flags="nn" index="1Zf1VF">
+        <property id="1206359757216" name="checkOnly" index="3wDh2S" />
         <child id="1174660783413" name="leftExpression" index="1ZfhK$" />
         <child id="1174660783414" name="rightExpression" index="1ZfhKB" />
       </concept>
+      <concept id="1174665551739" name="jetbrains.mps.lang.typesystem.structure.TypeVarDeclaration" flags="ng" index="1ZxtTE" />
+      <concept id="1174666260556" name="jetbrains.mps.lang.typesystem.structure.TypeVarReference" flags="nn" index="1Z$b5t">
+        <reference id="1174666276259" name="typeVarDeclaration" index="1Z$eMM" />
+      </concept>
     </language>
     <language id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic">
       <concept id="1564179198502666296" name="jetbrains.mps.logic.structure.LogicalType" flags="ig" index="26uTi9">
@@ -142,6 +178,7 @@
       <concept id="1139621453865" name="jetbrains.mps.lang.smodel.structure.Node_IsInstanceOfOperation" flags="nn" index="1mIQ4w">
         <child id="1177027386292" name="conceptArgument" index="cj9EA" />
       </concept>
+      <concept id="1171999116870" name="jetbrains.mps.lang.smodel.structure.Node_IsNullOperation" flags="nn" index="3w_OXm" />
       <concept id="1172008320231" name="jetbrains.mps.lang.smodel.structure.Node_IsNotNullOperation" flags="nn" index="3x8VRR" />
       <concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI">
         <property id="1238684351431" name="asCast" index="1BlNFB" />
@@ -316,22 +353,95 @@
     <property role="TrG5h" value="typeof_LogicalVariableReference" />
     <property role="3GE5qa" value="logical" />
     <node concept="3clFbS" id="2c3nq4GQw_F" role="18ibNy">
-      <node concept="1Z5TYs" id="2c3nq4GQwBU" role="3cqZAp">
-        <node concept="mw_s8" id="2c3nq4GQwBX" role="1ZfhK$">
-          <node concept="1Z2H0r" id="2c3nq4GQw_L" role="mwGJk">
-            <node concept="1YBJjd" id="2c3nq4GQwAU" role="1Z2MuG">
-              <ref role="1YBMHb" node="2c3nq4GQw_H" resolve="lvr" />
+      <node concept="3clFbJ" id="7dgRGU4B5dx" role="3cqZAp">
+        <node concept="3clFbS" id="7dgRGU4B5dz" role="3clFbx">
+          <node concept="1Z5TYs" id="2c3nq4GQwBU" role="3cqZAp">
+            <node concept="mw_s8" id="2c3nq4GQwBX" role="1ZfhK$">
+              <node concept="1Z2H0r" id="2c3nq4GQw_L" role="mwGJk">
+                <node concept="1YBJjd" id="2c3nq4GQwAU" role="1Z2MuG">
+                  <ref role="1YBMHb" node="2c3nq4GQw_H" resolve="lvr" />
+                </node>
+              </node>
+            </node>
+            <node concept="mw_s8" id="2c3nq4GQKvg" role="1ZfhKB">
+              <node concept="1Z2H0r" id="2c3nq4GQKvc" role="mwGJk">
+                <node concept="2OqwBi" id="2c3nq4GQKxV" role="1Z2MuG">
+                  <node concept="1YBJjd" id="2c3nq4GQKvx" role="2Oq$k0">
+                    <ref role="1YBMHb" node="2c3nq4GQw_H" resolve="lvr" />
+                  </node>
+                  <node concept="3TrEf2" id="2c3nq4GQKRj" role="2OqNvi">
+                    <ref role="3Tt5mk" to="5j4j:7E86$tK_PaH" />
+                  </node>
+                </node>
+              </node>
             </node>
           </node>
         </node>
-        <node concept="mw_s8" id="2c3nq4GQKvg" role="1ZfhKB">
-          <node concept="1Z2H0r" id="2c3nq4GQKvc" role="mwGJk">
-            <node concept="2OqwBi" id="2c3nq4GQKxV" role="1Z2MuG">
-              <node concept="1YBJjd" id="2c3nq4GQKvx" role="2Oq$k0">
-                <ref role="1YBMHb" node="2c3nq4GQw_H" resolve="lvr" />
+        <node concept="2OqwBi" id="7dgRGU4B5$v" role="3clFbw">
+          <node concept="2OqwBi" id="7dgRGU4B5g2" role="2Oq$k0">
+            <node concept="1YBJjd" id="7dgRGU4B5dT" role="2Oq$k0">
+              <ref role="1YBMHb" node="2c3nq4GQw_H" resolve="lvr" />
+            </node>
+            <node concept="3TrEf2" id="7dgRGU4B5pQ" role="2OqNvi">
+              <ref role="3Tt5mk" to="5j4j:7E86$tKsJfa" />
+            </node>
+          </node>
+          <node concept="3w_OXm" id="7dgRGU4B5O8" role="2OqNvi" />
+        </node>
+        <node concept="9aQIb" id="7dgRGU4B5Rr" role="9aQIa">
+          <node concept="3clFbS" id="7dgRGU4B5Rs" role="9aQI4">
+            <node concept="1ZxtTE" id="7dgRGU4B6qV" role="3cqZAp">
+              <property role="TrG5h" value="T" />
+            </node>
+            <node concept="1Z5TYs" id="7dgRGU4B6kd" role="3cqZAp">
+              <node concept="mw_s8" id="7dgRGU4B6ke" role="1ZfhK$">
+                <node concept="1Z2H0r" id="7dgRGU4B6kf" role="mwGJk">
+                  <node concept="2OqwBi" id="7dgRGU4B6xL" role="1Z2MuG">
+                    <node concept="1YBJjd" id="7dgRGU4B6kg" role="2Oq$k0">
+                      <ref role="1YBMHb" node="2c3nq4GQw_H" resolve="lvr" />
+                    </node>
+                    <node concept="3TrEf2" id="7dgRGU4B6GF" role="2OqNvi">
+                      <ref role="3Tt5mk" to="5j4j:7E86$tK_PaH" />
+                    </node>
+                  </node>
+                </node>
               </node>
-              <node concept="3TrEf2" id="2c3nq4GQKRj" role="2OqNvi">
-                <ref role="3Tt5mk" to="5j4j:7E86$tK_PaH" />
+              <node concept="mw_s8" id="7dgRGU4B6o8" role="1ZfhKB">
+                <node concept="2c44tf" id="7dgRGU4B6nW" role="mwGJk">
+                  <node concept="10Q1$e" id="7dgRGU4B6pZ" role="2c44tc">
+                    <node concept="26uTi9" id="7dgRGU4B6pq" role="10Q1$1">
+                      <node concept="33vP2l" id="7dgRGU4B6pH" role="3vMvoR">
+                        <node concept="2c44te" id="7dgRGU4B6qn" role="lGtFl">
+                          <node concept="1Z$b5t" id="7dgRGU4B6rr" role="2c44t1">
+                            <ref role="1Z$eMM" node="7dgRGU4B6qV" resolve="T" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="1Z5TYs" id="7dgRGU4B6l5" role="3cqZAp">
+              <node concept="mw_s8" id="7dgRGU4B6l6" role="1ZfhK$">
+                <node concept="1Z2H0r" id="7dgRGU4B6l7" role="mwGJk">
+                  <node concept="1YBJjd" id="7dgRGU4B6l8" role="1Z2MuG">
+                    <ref role="1YBMHb" node="2c3nq4GQw_H" resolve="lvr" />
+                  </node>
+                </node>
+              </node>
+              <node concept="mw_s8" id="7dgRGU4B6J6" role="1ZfhKB">
+                <node concept="2c44tf" id="7dgRGU4B6J7" role="mwGJk">
+                  <node concept="26uTi9" id="7dgRGU4B6J9" role="2c44tc">
+                    <node concept="33vP2l" id="7dgRGU4B6Ja" role="3vMvoR">
+                      <node concept="2c44te" id="7dgRGU4B6Jb" role="lGtFl">
+                        <node concept="1Z$b5t" id="7dgRGU4B6Jc" role="2c44t1">
+                          <ref role="1Z$eMM" node="7dgRGU4B6qV" resolve="T" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
               </node>
             </node>
           </node>
@@ -347,33 +457,88 @@
     <property role="TrG5h" value="typeof_LogicalVariableDeclaration" />
     <property role="3GE5qa" value="logical" />
     <node concept="3clFbS" id="2c3nq4GQKie" role="18ibNy">
-      <node concept="1Z5TYs" id="2c3nq4GQKmD" role="3cqZAp">
-        <node concept="mw_s8" id="2c3nq4GQKmE" role="1ZfhK$">
-          <node concept="1Z2H0r" id="2c3nq4GQKmF" role="mwGJk">
-            <node concept="1YBJjd" id="2c3nq4GQKq$" role="1Z2MuG">
-              <ref role="1YBMHb" node="2c3nq4GQKig" resolve="lvd" />
+      <node concept="3clFbJ" id="7dgRGU4AfaF" role="3cqZAp">
+        <node concept="3clFbS" id="7dgRGU4AfaH" role="3clFbx">
+          <node concept="1Z5TYs" id="2c3nq4GQKmD" role="3cqZAp">
+            <node concept="mw_s8" id="2c3nq4GQKmE" role="1ZfhK$">
+              <node concept="1Z2H0r" id="2c3nq4GQKmF" role="mwGJk">
+                <node concept="1YBJjd" id="2c3nq4GQKq$" role="1Z2MuG">
+                  <ref role="1YBMHb" node="2c3nq4GQKig" resolve="lvd" />
+                </node>
+              </node>
+            </node>
+            <node concept="mw_s8" id="2c3nq4GQKmH" role="1ZfhKB">
+              <node concept="2c44tf" id="2c3nq4GQKmI" role="mwGJk">
+                <node concept="26uTi9" id="2c3nq4GQKmJ" role="2c44tc">
+                  <node concept="33vP2l" id="2c3nq4GQKmK" role="3vMvoR">
+                    <node concept="2c44te" id="2c3nq4GQKmL" role="lGtFl">
+                      <node concept="2OqwBi" id="2c3nq4GQKmM" role="2c44t1">
+                        <node concept="1PxgMI" id="2c3nq4GQKmN" role="2Oq$k0">
+                          <property role="1BlNFB" value="true" />
+                          <ref role="1PxNhF" to="wq2x:2E5lcNn8iYG" resolve="LogicVariableDeclarationStatement" />
+                          <node concept="2OqwBi" id="2c3nq4GQKmO" role="1PxMeX">
+                            <node concept="1YBJjd" id="2c3nq4GQKsq" role="2Oq$k0">
+                              <ref role="1YBMHb" node="2c3nq4GQKig" resolve="lvd" />
+                            </node>
+                            <node concept="1mfA1w" id="2c3nq4GQKmS" role="2OqNvi" />
+                          </node>
+                        </node>
+                        <node concept="3TrEf2" id="2c3nq4GQKmT" role="2OqNvi">
+                          <ref role="3Tt5mk" to="wq2x:5zfvpQ72gqq" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
             </node>
           </node>
         </node>
-        <node concept="mw_s8" id="2c3nq4GQKmH" role="1ZfhKB">
-          <node concept="2c44tf" id="2c3nq4GQKmI" role="mwGJk">
-            <node concept="26uTi9" id="2c3nq4GQKmJ" role="2c44tc">
-              <node concept="33vP2l" id="2c3nq4GQKmK" role="3vMvoR">
-                <node concept="2c44te" id="2c3nq4GQKmL" role="lGtFl">
-                  <node concept="2OqwBi" id="2c3nq4GQKmM" role="2c44t1">
-                    <node concept="1PxgMI" id="2c3nq4GQKmN" role="2Oq$k0">
-                      <property role="1BlNFB" value="true" />
-                      <ref role="1PxNhF" to="wq2x:2E5lcNn8iYG" resolve="LogicVariableDeclarationStatement" />
-                      <node concept="2OqwBi" id="2c3nq4GQKmO" role="1PxMeX">
-                        <node concept="1YBJjd" id="2c3nq4GQKsq" role="2Oq$k0">
-                          <ref role="1YBMHb" node="2c3nq4GQKig" resolve="lvd" />
+        <node concept="2OqwBi" id="7dgRGU4Ag2P" role="3clFbw">
+          <node concept="2OqwBi" id="7dgRGU4AfcX" role="2Oq$k0">
+            <node concept="1YBJjd" id="7dgRGU4Afb9" role="2Oq$k0">
+              <ref role="1YBMHb" node="2c3nq4GQKig" resolve="lvd" />
+            </node>
+            <node concept="3TrEf2" id="7dgRGU4AfTp" role="2OqNvi">
+              <ref role="3Tt5mk" to="5j4j:7E86$tKtioV" />
+            </node>
+          </node>
+          <node concept="3w_OXm" id="7dgRGU4Agit" role="2OqNvi" />
+        </node>
+        <node concept="9aQIb" id="7dgRGU4AgmI" role="9aQIa">
+          <node concept="3clFbS" id="7dgRGU4AgmJ" role="9aQI4">
+            <node concept="1Z5TYs" id="7dgRGU4AgnO" role="3cqZAp">
+              <node concept="mw_s8" id="7dgRGU4AgnP" role="1ZfhK$">
+                <node concept="1Z2H0r" id="7dgRGU4AgnQ" role="mwGJk">
+                  <node concept="1YBJjd" id="7dgRGU4AgnR" role="1Z2MuG">
+                    <ref role="1YBMHb" node="2c3nq4GQKig" resolve="lvd" />
+                  </node>
+                </node>
+              </node>
+              <node concept="mw_s8" id="7dgRGU4AgnS" role="1ZfhKB">
+                <node concept="2c44tf" id="7dgRGU4AgnT" role="mwGJk">
+                  <node concept="10Q1$e" id="7dgRGU4Agsv" role="2c44tc">
+                    <node concept="26uTi9" id="7dgRGU4AgnU" role="10Q1$1">
+                      <node concept="33vP2l" id="7dgRGU4AgsQ" role="3vMvoR">
+                        <node concept="2c44te" id="7dgRGU4Agt9" role="lGtFl">
+                          <node concept="2OqwBi" id="7dgRGU4Agtn" role="2c44t1">
+                            <node concept="1PxgMI" id="7dgRGU4Agto" role="2Oq$k0">
+                              <property role="1BlNFB" value="true" />
+                              <ref role="1PxNhF" to="wq2x:2E5lcNn8iYG" resolve="LogicVariableDeclarationStatement" />
+                              <node concept="2OqwBi" id="7dgRGU4Agtp" role="1PxMeX">
+                                <node concept="1YBJjd" id="7dgRGU4Agtq" role="2Oq$k0">
+                                  <ref role="1YBMHb" node="2c3nq4GQKig" resolve="lvd" />
+                                </node>
+                                <node concept="1mfA1w" id="7dgRGU4Agtr" role="2OqNvi" />
+                              </node>
+                            </node>
+                            <node concept="3TrEf2" id="7dgRGU4Agts" role="2OqNvi">
+                              <ref role="3Tt5mk" to="wq2x:5zfvpQ72gqq" />
+                            </node>
+                          </node>
                         </node>
-                        <node concept="1mfA1w" id="2c3nq4GQKmS" role="2OqNvi" />
                       </node>
                     </node>
-                    <node concept="3TrEf2" id="2c3nq4GQKmT" role="2OqNvi">
-                      <ref role="3Tt5mk" to="wq2x:5zfvpQ72gqq" />
-                    </node>
                   </node>
                 </node>
               </node>
@@ -387,5 +552,130 @@
       <ref role="1YaFvo" to="5j4j:7E86$tKtfM3" resolve="LogicalVariableDeclaration" />
     </node>
   </node>
+  <node concept="1YbPZF" id="7dgRGU4$_5X">
+    <property role="TrG5h" value="typeof_Splice" />
+    <property role="3GE5qa" value="atom" />
+    <node concept="3clFbS" id="7dgRGU4$_5Y" role="18ibNy">
+      <node concept="3clFbJ" id="7dgRGU4$_64" role="3cqZAp">
+        <node concept="3clFbS" id="7dgRGU4$_65" role="3clFbx">
+          <node concept="nvevp" id="7dgRGU4_YFt" role="3cqZAp">
+            <node concept="3clFbS" id="7dgRGU4_YFv" role="nvhr_">
+              <node concept="3clFbJ" id="7dgRGU4_ZCy" role="3cqZAp">
+                <node concept="3clFbS" id="7dgRGU4_ZC$" role="3clFbx">
+                  <node concept="1Z5TYs" id="7dgRGU4$_z6" role="3cqZAp">
+                    <property role="3wDh2S" value="true" />
+                    <node concept="mw_s8" id="7dgRGU4$_Hl" role="1ZfhKB">
+                      <node concept="2c44tf" id="7dgRGU4$_Hh" role="mwGJk">
+                        <node concept="17QB3L" id="7dgRGU4$_HC" role="2c44tc" />
+                      </node>
+                    </node>
+                    <node concept="mw_s8" id="7dgRGU4A0xz" role="1ZfhK$">
+                      <node concept="1Z2H0r" id="7dgRGU4A0xx" role="mwGJk">
+                        <node concept="2OqwBi" id="7dgRGU4A0zN" role="1Z2MuG">
+                          <node concept="1YBJjd" id="7dgRGU4A0xO" role="2Oq$k0">
+                            <ref role="1YBMHb" node="7dgRGU4$_60" resolve="splice" />
+                          </node>
+                          <node concept="3TrEf2" id="7dgRGU4A0KD" role="2OqNvi">
+                            <ref role="3Tt5mk" to="5j4j:dfChU1zo4I" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="1Wc70l" id="7dgRGU4_ZYG" role="3clFbw">
+                  <node concept="1Wc70l" id="7dgRGU4_ZLM" role="3uHU7B">
+                    <node concept="1Wc70l" id="7dgRGU4Aq9e" role="3uHU7B">
+                      <node concept="3fqX7Q" id="7dgRGU4Aqr4" role="3uHU7B">
+                        <node concept="2OqwBi" id="7dgRGU4Aqr6" role="3fr31v">
+                          <node concept="2X3wrD" id="7dgRGU4Aqr7" role="2Oq$k0">
+                            <ref role="2X3Bk0" node="7dgRGU4_YFz" resolve="exprType" />
+                          </node>
+                          <node concept="1mIQ4w" id="7dgRGU4Aqr8" role="2OqNvi">
+                            <node concept="chp4Y" id="7dgRGU4Aqr9" role="cj9EA">
+                              <ref role="cht4Q" to="5j4j:1mP5b6jNC0S" resolve="LogicalType" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3fqX7Q" id="7dgRGU4_ZEb" role="3uHU7w">
+                        <node concept="3JuTUA" id="7dgRGU4_ZEd" role="3fr31v">
+                          <node concept="2X3wrD" id="7dgRGU4_ZEe" role="3JuY14">
+                            <ref role="2X3Bk0" node="7dgRGU4_YFz" resolve="exprType" />
+                          </node>
+                          <node concept="2c44tf" id="7dgRGU4_ZEf" role="3JuZjQ">
+                            <node concept="17QB3L" id="7dgRGU4_ZEg" role="2c44tc" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3fqX7Q" id="7dgRGU4_ZML" role="3uHU7w">
+                      <node concept="3JuTUA" id="7dgRGU4_Zyq" role="3fr31v">
+                        <node concept="2X3wrD" id="7dgRGU4_Z_1" role="3JuY14">
+                          <ref role="2X3Bk0" node="7dgRGU4_YFz" resolve="exprType" />
+                        </node>
+                        <node concept="2c44tf" id="7dgRGU4_ZB$" role="3JuZjQ">
+                          <node concept="10Oyi0" id="7dgRGU4_ZPs" role="2c44tc" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3fqX7Q" id="7dgRGU4A00y" role="3uHU7w">
+                    <node concept="3JuTUA" id="7dgRGU4A00z" role="3fr31v">
+                      <node concept="2X3wrD" id="7dgRGU4A00$" role="3JuY14">
+                        <ref role="2X3Bk0" node="7dgRGU4_YFz" resolve="exprType" />
+                      </node>
+                      <node concept="2c44tf" id="7dgRGU4A00_" role="3JuZjQ">
+                        <node concept="3uibUv" id="7dgRGU4A02j" role="2c44tc">
+                          <ref role="3uigEE" to="mhbf:~SNodeId" resolve="SNodeId" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="1Z2H0r" id="7dgRGU4_YGs" role="nvjzm">
+              <node concept="2OqwBi" id="7dgRGU4_YJ3" role="1Z2MuG">
+                <node concept="1YBJjd" id="7dgRGU4_YGS" role="2Oq$k0">
+                  <ref role="1YBMHb" node="7dgRGU4$_60" resolve="splice" />
+                </node>
+                <node concept="3TrEf2" id="7dgRGU4_YUb" role="2OqNvi">
+                  <ref role="3Tt5mk" to="5j4j:dfChU1zo4I" />
+                </node>
+              </node>
+            </node>
+            <node concept="2X1qdy" id="7dgRGU4_YFz" role="2X0Ygz">
+              <property role="TrG5h" value="exprType" />
+              <node concept="10Q1$e" id="7dgRGU4_YWZ" role="1tU5fm">
+                <node concept="10Q1$e" id="7dgRGU4_YWJ" role="10Q1$1">
+                  <node concept="10Q1$e" id="7dgRGU4_YW_" role="10Q1$1">
+                    <node concept="2jxLKc" id="7dgRGU4_YF$" role="10Q1$1" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="2OqwBi" id="7dgRGU4$_ru" role="3clFbw">
+          <node concept="2OqwBi" id="7dgRGU4$_8v" role="2Oq$k0">
+            <node concept="1YBJjd" id="7dgRGU4$_6g" role="2Oq$k0">
+              <ref role="1YBMHb" node="7dgRGU4$_60" resolve="splice" />
+            </node>
+            <node concept="1mfA1w" id="7dgRGU4$_hC" role="2OqNvi" />
+          </node>
+          <node concept="1mIQ4w" id="7dgRGU4$_wj" role="2OqNvi">
+            <node concept="chp4Y" id="7dgRGU4$_wO" role="cj9EA">
+              <ref role="cht4Q" to="5j4j:6$jH9oLmYJ_" resolve="Value" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="1YaCAy" id="7dgRGU4$_60" role="1YuTPh">
+      <property role="TrG5h" value="splice" />
+      <ref role="1YaFvo" to="5j4j:dfChU1zo4B" resolve="Splice" />
+    </node>
+  </node>
 </model>