From 61dccfd2d9d8eb4697496e4e0651bb54224a7ace Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Thu, 10 Dec 2020 12:11:18 +0300
Subject: [PATCH] BL types: simplify array typing & fix minor errors

---
 .../jetbrains.mps.baseLanguageExt.types.mps   | 1151 +++++++----------
 ...mps.baseLanguageExt.test.code.features.mps |   46 +
 2 files changed, 527 insertions(+), 670 deletions(-)

diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
index 08721c3f..e087f2cc 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
@@ -32736,93 +32736,88 @@
         </node>
       </node>
     </node>
-    <node concept="1nLNMY" id="geDLM4SLOS" role="1nK1Vg">
+    <node concept="1nLNMY" id="67AXZ5hmdJq" role="1nK1Vg">
       <property role="TrG5h" value="arrayLiteralDecl" />
-      <node concept="2t___k" id="geDLM4SLQL" role="1nLNMg">
+      <node concept="2t___k" id="67AXZ5hmdJr" role="1nLNMg">
         <ref role="2t_S0q" to="tpee:hiBsdKd" resolve="ArrayLiteral" />
-        <node concept="3A20r5" id="geDLM4SLQM" role="2t_VXX">
+        <node concept="3A20r5" id="67AXZ5hmdJs" role="2t_VXX">
           <property role="TrG5h" value="arr" />
         </node>
       </node>
-      <node concept="3clFbS" id="3c$Di5ODE7z" role="1nLNMH">
-        <node concept="3clFbJ" id="3c$Di5ODE7$" role="3cqZAp">
-          <node concept="3clFbS" id="geDLM4SLOT" role="3clFbx">
-            <node concept="3cpWs8" id="geDLM4T0GY" role="3cqZAp">
-              <node concept="3cpWsn" id="geDLM4T0GZ" role="3cpWs9">
+      <node concept="3clFbS" id="67AXZ5hmdJt" role="1nLNMH">
+        <node concept="1mebxG" id="67AXZ5hwxQF" role="3cqZAp">
+          <node concept="2OqwBi" id="67AXZ5hwy1q" role="1mebXD">
+            <node concept="3A2sRY" id="67AXZ5hwxRt" role="2Oq$k0">
+              <ref role="3A2yKK" node="67AXZ5hmdJs" resolve="arr" />
+            </node>
+            <node concept="1mfA1w" id="67AXZ5hwyjW" role="2OqNvi" />
+          </node>
+        </node>
+        <node concept="3clFbJ" id="67AXZ5hmdJu" role="3cqZAp">
+          <node concept="3clFbS" id="67AXZ5hmdJv" role="3clFbx">
+            <node concept="3cpWs8" id="67AXZ5hmdJw" role="3cqZAp">
+              <node concept="3cpWsn" id="67AXZ5hmdJx" role="3cpWs9">
                 <property role="TrG5h" value="vdecl" />
-                <node concept="3Tqbb2" id="geDLM4T0H0" role="1tU5fm">
+                <node concept="3Tqbb2" id="67AXZ5hmdJy" role="1tU5fm">
                   <ref role="ehGHo" to="tpee:fz3uBXI" resolve="VariableDeclaration" />
                 </node>
-                <node concept="1PxgMI" id="geDLM4T0H1" role="33vP2m">
+                <node concept="1PxgMI" id="67AXZ5hmdJz" role="33vP2m">
                   <property role="1BlNFB" value="true" />
-                  <node concept="chp4Y" id="geDLM4T0H2" role="3oSUPX">
+                  <node concept="chp4Y" id="67AXZ5hmdJ$" role="3oSUPX">
                     <ref role="cht4Q" to="tpee:fz3uBXI" resolve="VariableDeclaration" />
                   </node>
-                  <node concept="2OqwBi" id="geDLM4T0H3" role="1m5AlR">
-                    <node concept="3A2sRY" id="geDLM4T0H4" role="2Oq$k0">
-                      <ref role="3A2yKK" node="geDLM4SLQM" resolve="arr" />
+                  <node concept="2OqwBi" id="67AXZ5hmdJ_" role="1m5AlR">
+                    <node concept="3A2sRY" id="67AXZ5hmdJA" role="2Oq$k0">
+                      <ref role="3A2yKK" node="67AXZ5hmdJs" resolve="arr" />
                     </node>
-                    <node concept="1mfA1w" id="geDLM4T0H5" role="2OqNvi" />
+                    <node concept="1mfA1w" id="67AXZ5hmdJB" role="2OqNvi" />
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3clFbH" id="geDLM4T0Gz" role="3cqZAp" />
-            <node concept="1nLNNL" id="geDLM4SLQt" role="3cqZAp">
-              <node concept="1nLNMm" id="geDLM4SLQu" role="1nLNNK">
-                <node concept="3Aq93q" id="geDLM4SLQz" role="1nLNMb">
+            <node concept="3clFbH" id="67AXZ5hmdJC" role="3cqZAp" />
+            <node concept="1nLNNL" id="67AXZ5hmdJD" role="3cqZAp">
+              <node concept="1nLNMm" id="67AXZ5hmdJE" role="1nLNNK">
+                <node concept="3Aq93q" id="67AXZ5hmdJF" role="1nLNMb">
                   <property role="3ArMco" value="true" />
-                  <node concept="3I6sU6" id="geDLM4SLQ$" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="geDLM4SLQ_" role="3I6sU7">
-                      <node concept="3Aqt3T" id="geDLM4SLQA" role="3I6s78">
+                  <node concept="3I6sU6" id="67AXZ5hmdJG" role="3Ip0Jz">
+                    <node concept="3I6s7M" id="67AXZ5hmdJH" role="3I6sU7">
+                      <node concept="3Aqt3T" id="67AXZ5hmdJI" role="3I6s78">
                         <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                        <node concept="37jhX" id="1TH_SRmhrul" role="3AunhB">
-                          <node concept="37vLTw" id="geDLM4T1gs" role="37jj2">
-                            <ref role="3cqZAo" node="geDLM4T0GZ" resolve="vdecl" />
+                        <node concept="37jhX" id="67AXZ5hmdJJ" role="3AunhB">
+                          <node concept="37vLTw" id="67AXZ5hmdJK" role="37jj2">
+                            <ref role="3cqZAo" node="67AXZ5hmdJx" resolve="vdecl" />
                           </node>
                         </node>
-                        <node concept="a7P8L" id="geDLM4SLQD" role="3AunhB">
-                          <ref role="a7OzE" node="geDLM4SLQy" resolve="DeclT" />
+                        <node concept="a7P8L" id="67AXZ5hmdJL" role="3AunhB">
+                          <ref role="a7OzE" node="67AXZ5hmdJO" resolve="DeclT" />
                         </node>
                       </node>
                     </node>
                   </node>
                 </node>
-                <node concept="3NuqgR" id="geDLM4SLQw" role="0Rg$4">
-                  <node concept="aZer4" id="geDLM4SLQx" role="3XD1gS">
+                <node concept="3NuqgR" id="67AXZ5hmdJM" role="0Rg$4">
+                  <node concept="aZer4" id="67AXZ5hmdJN" role="3XD1gS">
                     <property role="TrG5h" value="ArrT" />
                   </node>
-                  <node concept="aZer4" id="geDLM4SLQy" role="3XD1gS">
+                  <node concept="aZer4" id="67AXZ5hmdJO" role="3XD1gS">
                     <property role="TrG5h" value="DeclT" />
                   </node>
-                  <node concept="32pEOW" id="24ciDNzxNGh" role="3vLBG7" />
+                  <node concept="32pEOW" id="67AXZ5hmdJP" role="3vLBG7" />
                 </node>
-                <node concept="3xSepi" id="6E2cNicdilq" role="3xSepv">
-                  <node concept="3Aq9E8" id="geDLM4SLQE" role="3xSepj">
-                    <node concept="3I6sU6" id="geDLM4SLQF" role="3Ip0Jz">
-                      <node concept="3I6s7M" id="geDLM4SPD1" role="3I6sU7">
-                        <node concept="3Aqt3T" id="geDLM4SPCZ" role="3I6s78">
-                          <ref role="3AqCNq" node="4gD$zlTXS1P" resolve="checkArrayItem" />
-                          <node concept="37jhX" id="1TH_SRmhrum" role="3AunhB">
-                            <node concept="3A2sRY" id="geDLM4SPVJ" role="37jj2">
-                              <ref role="3A2yKK" node="geDLM4SLQM" resolve="arr" />
+                <node concept="3xSepi" id="67AXZ5hmdJQ" role="3xSepv">
+                  <node concept="3Aq9E8" id="67AXZ5hmdJR" role="3xSepj">
+                    <node concept="3I6sU6" id="67AXZ5hmdJS" role="3Ip0Jz">
+                      <node concept="3I6s7M" id="67AXZ5hmdJT" role="3I6sU7">
+                        <node concept="3Aqt3T" id="67AXZ5hmdJU" role="3I6s78">
+                          <ref role="3AqCNq" node="67AXZ5hmgsk" resolve="inferArrayItem" />
+                          <node concept="37jhX" id="67AXZ5hmdJV" role="3AunhB">
+                            <node concept="3A2sRY" id="67AXZ5hmdJW" role="37jj2">
+                              <ref role="3A2yKK" node="67AXZ5hmdJs" resolve="arr" />
                             </node>
                           </node>
-                          <node concept="a7P8L" id="geDLM4SQ3v" role="3AunhB">
-                            <ref role="a7OzE" node="geDLM4SLQy" resolve="DeclT" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3I6s7M" id="geDLM4SLQG" role="3I6sU7">
-                        <node concept="3Aqt3T" id="geDLM4SLQH" role="3I6s78">
-                          <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                          <node concept="37jhX" id="1TH_SRmhrun" role="3AunhB">
-                            <node concept="3A2sRY" id="geDLM4SLQJ" role="37jj2">
-                              <ref role="3A2yKK" node="geDLM4SLQM" resolve="arr" />
-                            </node>
-                          </node>
-                          <node concept="a7P8L" id="geDLM4SLQK" role="3AunhB">
-                            <ref role="a7OzE" node="geDLM4SLQy" resolve="DeclT" />
+                          <node concept="a7P8L" id="67AXZ5hmdJX" role="3AunhB">
+                            <ref role="a7OzE" node="67AXZ5hmdJO" resolve="DeclT" />
                           </node>
                         </node>
                       </node>
@@ -32831,16 +32826,17 @@
                 </node>
               </node>
             </node>
+            <node concept="3clFbH" id="67AXZ5hpbar" role="3cqZAp" />
           </node>
-          <node concept="2OqwBi" id="geDLM4SLQQ" role="3clFbw">
-            <node concept="2OqwBi" id="geDLM4SLQR" role="2Oq$k0">
-              <node concept="3A2sRY" id="geDLM4SLQS" role="2Oq$k0">
-                <ref role="3A2yKK" node="geDLM4SLQM" resolve="arr" />
+          <node concept="2OqwBi" id="67AXZ5hmdKb" role="3clFbw">
+            <node concept="2OqwBi" id="67AXZ5hmdKc" role="2Oq$k0">
+              <node concept="3A2sRY" id="67AXZ5hmdKd" role="2Oq$k0">
+                <ref role="3A2yKK" node="67AXZ5hmdJs" resolve="arr" />
               </node>
-              <node concept="1mfA1w" id="geDLM4SLQT" role="2OqNvi" />
+              <node concept="1mfA1w" id="67AXZ5hmdKe" role="2OqNvi" />
             </node>
-            <node concept="1mIQ4w" id="geDLM4SLQU" role="2OqNvi">
-              <node concept="chp4Y" id="geDLM4SLQV" role="cj9EA">
+            <node concept="1mIQ4w" id="67AXZ5hmdKf" role="2OqNvi">
+              <node concept="chp4Y" id="67AXZ5hmdKg" role="cj9EA">
                 <ref role="cht4Q" to="tpee:fz3uBXI" resolve="VariableDeclaration" />
               </node>
             </node>
@@ -32848,106 +32844,72 @@
         </node>
       </node>
     </node>
-    <node concept="1nLNMY" id="geDLM4SSaZ" role="1nK1Vg">
-      <property role="TrG5h" value="arrayLiteralItems" />
-      <node concept="2t___k" id="geDLM4SSCi" role="1nLNMg">
-        <ref role="2t_S0q" to="tpee:hiBsdKd" resolve="ArrayLiteral" />
-        <node concept="3A20r5" id="geDLM4SSCj" role="2t_VXX">
-          <property role="TrG5h" value="arr" />
-        </node>
-      </node>
-      <node concept="3clFbS" id="3c$Di5ODE7_" role="1nLNMH">
-        <node concept="3clFbJ" id="3c$Di5ODE7A" role="3cqZAp">
-          <node concept="3clFbS" id="geDLM4SSb0" role="3clFbx">
-            <node concept="1mebxG" id="geDLM53pwO" role="3cqZAp">
-              <node concept="2OqwBi" id="geDLM53pDU" role="1mebXD">
-                <node concept="3A2sRY" id="geDLM53pxM" role="2Oq$k0">
-                  <ref role="3A2yKK" node="geDLM4SSCj" resolve="arr" />
+    <node concept="1nLNMY" id="67AXZ5hmiWJ" role="1nK1Vg">
+      <property role="TrG5h" value="arrayLiteral_checkItems" />
+      <node concept="3clFbS" id="67AXZ5hmiWK" role="1nLNMH">
+        <node concept="3cpWs8" id="67AXZ5hmiWL" role="3cqZAp">
+          <node concept="3cpWsn" id="67AXZ5hmiWM" role="3cpWs9">
+            <property role="TrG5h" value="sz" />
+            <node concept="10Oyi0" id="67AXZ5hmiWN" role="1tU5fm" />
+            <node concept="2OqwBi" id="67AXZ5hmiWO" role="33vP2m">
+              <node concept="2OqwBi" id="67AXZ5hmiWP" role="2Oq$k0">
+                <node concept="3A2sRY" id="67AXZ5hmiWQ" role="2Oq$k0">
+                  <ref role="3A2yKK" node="67AXZ5hmiYk" resolve="arr" />
                 </node>
-                <node concept="2Xjw5R" id="geDLM53pYs" role="2OqNvi">
-                  <node concept="1xMEDy" id="geDLM53pYu" role="1xVPHs">
-                    <node concept="chp4Y" id="geDLM53pYU" role="ri$Ld">
-                      <ref role="cht4Q" to="tpee:fz3uBXI" resolve="VariableDeclaration" />
-                    </node>
-                  </node>
+                <node concept="3Tsc0h" id="67AXZ5hmiWR" role="2OqNvi">
+                  <ref role="3TtcxE" to="tpee:hiBsfQZ" resolve="item" />
                 </node>
               </node>
+              <node concept="34oBXx" id="67AXZ5hmiWS" role="2OqNvi" />
             </node>
-            <node concept="3clFbH" id="geDLM4T6ym" role="3cqZAp" />
-            <node concept="3cpWs8" id="geDLM4SLOU" role="3cqZAp">
-              <node concept="3cpWsn" id="geDLM4SLOV" role="3cpWs9">
-                <property role="TrG5h" value="sz" />
-                <node concept="10Oyi0" id="geDLM4SLOW" role="1tU5fm" />
-                <node concept="2OqwBi" id="geDLM4SLOX" role="33vP2m">
-                  <node concept="2OqwBi" id="geDLM4SLOY" role="2Oq$k0">
-                    <node concept="3A2sRY" id="geDLM4SLOZ" role="2Oq$k0">
-                      <ref role="3A2yKK" node="geDLM4SSCj" resolve="arr" />
+          </node>
+        </node>
+        <node concept="1Dw8fO" id="67AXZ5hmiWT" role="3cqZAp">
+          <node concept="3clFbS" id="67AXZ5hmiWU" role="2LFqv$">
+            <node concept="3cpWs8" id="67AXZ5hmiWV" role="3cqZAp">
+              <node concept="3cpWsn" id="67AXZ5hmiWW" role="3cpWs9">
+                <property role="TrG5h" value="item" />
+                <node concept="3Tqbb2" id="67AXZ5hmiWX" role="1tU5fm" />
+                <node concept="1y4W85" id="67AXZ5hmiWY" role="33vP2m">
+                  <node concept="37vLTw" id="67AXZ5hmiWZ" role="1y58nS">
+                    <ref role="3cqZAo" node="67AXZ5hmiY9" resolve="i" />
+                  </node>
+                  <node concept="2OqwBi" id="67AXZ5hmiX0" role="1y566C">
+                    <node concept="3A2sRY" id="67AXZ5hmiX1" role="2Oq$k0">
+                      <ref role="3A2yKK" node="67AXZ5hmiYk" resolve="arr" />
                     </node>
-                    <node concept="3Tsc0h" id="geDLM4SLP0" role="2OqNvi">
+                    <node concept="3Tsc0h" id="67AXZ5hmiX2" role="2OqNvi">
                       <ref role="3TtcxE" to="tpee:hiBsfQZ" resolve="item" />
                     </node>
                   </node>
-                  <node concept="34oBXx" id="geDLM4SLP1" role="2OqNvi" />
                 </node>
               </node>
             </node>
-            <node concept="1Dw8fO" id="geDLM4SLPp" role="3cqZAp">
-              <node concept="3clFbS" id="geDLM4SLPq" role="2LFqv$">
-                <node concept="3cpWs8" id="geDLM4SLPr" role="3cqZAp">
-                  <node concept="3cpWsn" id="geDLM4SLPs" role="3cpWs9">
-                    <property role="TrG5h" value="item" />
-                    <node concept="3Tqbb2" id="geDLM4SLPt" role="1tU5fm" />
-                    <node concept="1y4W85" id="geDLM4SLPu" role="33vP2m">
-                      <node concept="37vLTw" id="geDLM4SLPv" role="1y58nS">
-                        <ref role="3cqZAo" node="geDLM4SLQk" resolve="i" />
-                      </node>
-                      <node concept="2OqwBi" id="geDLM4SLPw" role="1y566C">
-                        <node concept="3A2sRY" id="geDLM4SLPx" role="2Oq$k0">
-                          <ref role="3A2yKK" node="geDLM4SSCj" resolve="arr" />
-                        </node>
-                        <node concept="3Tsc0h" id="geDLM4SLPy" role="2OqNvi">
-                          <ref role="3TtcxE" to="tpee:hiBsfQZ" resolve="item" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3clFbH" id="geDLM4SLPz" role="3cqZAp" />
-                <node concept="1nLNNL" id="geDLM4SLP$" role="3cqZAp">
-                  <node concept="1nLNMm" id="geDLM4SLP_" role="1nLNNK">
-                    <node concept="3Aq93q" id="geDLM4SLPK" role="1nLNMb">
-                      <property role="3ArMco" value="true" />
-                      <node concept="3I6sU6" id="geDLM4SLPL" role="3Ip0Jz">
-                        <node concept="3I6s7M" id="geDLM4SLPM" role="3I6sU7">
-                          <node concept="3Aqt3T" id="geDLM4SQxz" role="3I6s78">
-                            <ref role="3AqCNq" node="34$A1MfabR$" resolve="checkAll" />
+            <node concept="3clFbH" id="67AXZ5hmiX3" role="3cqZAp" />
+            <node concept="1nLNNL" id="67AXZ5hmiXg" role="3cqZAp">
+              <node concept="1nLNMm" id="67AXZ5hmiXh" role="1nLNNK">
+                <node concept="3Aq93q" id="67AXZ5hmiXu" role="1nLNMb">
+                  <property role="3ArMco" value="true" />
+                  <node concept="3I6sU6" id="67AXZ5hmiXv" role="3Ip0Jz">
+                    <node concept="3I6s7M" id="67AXZ5hmiXw" role="3I6sU7">
+                      <node concept="3Aqt3T" id="67AXZ5hmiXx" role="3I6s78">
+                        <ref role="3AqCNq" node="67AXZ5hmgsk" resolve="inferArrayItem" />
+                        <node concept="37jhX" id="67AXZ5hmiXy" role="3AunhB">
+                          <node concept="3A2sRY" id="67AXZ5hmiXz" role="37jj2">
+                            <ref role="3A2yKK" node="67AXZ5hmiYk" resolve="arr" />
                           </node>
                         </node>
-                      </node>
-                    </node>
-                    <node concept="3NuqgR" id="geDLM4SLPH" role="0Rg$4">
-                      <node concept="aZer4" id="geDLM4SLPI" role="3XD1gS">
-                        <property role="TrG5h" value="ValT" />
-                      </node>
-                      <node concept="aZer4" id="geDLM4SLPJ" role="3XD1gS">
-                        <property role="TrG5h" value="ArrT" />
-                      </node>
-                      <node concept="32pEOW" id="24ciDNzxNGi" role="3vLBG7" />
-                    </node>
-                    <node concept="3xSepi" id="6E2cNicdilr" role="3xSepv">
-                      <node concept="3Aq9E8" id="geDLM4SLPA" role="3xSepj">
-                        <node concept="3I6sU6" id="geDLM4SLPB" role="3Ip0Jz">
-                          <node concept="3I6s7M" id="geDLM4SLPC" role="3I6sU7">
-                            <node concept="3Aqt3T" id="geDLM4SR15" role="3I6s78">
-                              <ref role="3AqCNq" node="geDLM4SpJK" resolve="arrayItem" />
-                              <node concept="37jhX" id="1TH_SRmhruo" role="3AunhB">
-                                <node concept="3A2sRY" id="geDLM4SR91" role="37jj2">
-                                  <ref role="3A2yKK" node="geDLM4SSCj" resolve="arr" />
-                                </node>
-                              </node>
-                              <node concept="37jhX" id="1TH_SRmhrup" role="3AunhB">
-                                <node concept="37vLTw" id="geDLM4SRsN" role="37jj2">
-                                  <ref role="3cqZAo" node="geDLM4SLPs" resolve="item" />
+                        <node concept="1HFMs5" id="67AXZ5hmkpE" role="3AunhB">
+                          <node concept="a7P8L" id="67AXZ5hmiX$" role="1uarlU">
+                            <ref role="a7OzE" node="67AXZ5hmiXB" resolve="DeclT" />
+                          </node>
+                          <node concept="ns1u0" id="67AXZ5hmkBI" role="1uarlW">
+                            <ref role="ns1xF" node="JOGAOsVt2o" resolve="array" />
+                            <node concept="nsMwS" id="67AXZ5hmkBP" role="ns1xD">
+                              <ref role="nsMwP" node="39Sam6Zio_N" resolve="parameter" />
+                              <node concept="1nq8_$" id="67AXZ5hmkBU" role="nsMwV">
+                                <node concept="a7P8L" id="67AXZ5hmkBT" role="1nq8_t">
+                                  <ref role="a7OzE" node="67AXZ5hmiXC" resolve="ElemT" />
                                 </node>
                               </node>
                             </node>
@@ -32957,386 +32919,293 @@
                     </node>
                   </node>
                 </node>
-                <node concept="3clFbH" id="4eu89JazXiN" role="3cqZAp" />
-                <node concept="3SKdUt" id="4eu89JazXjJ" role="3cqZAp">
-                  <node concept="1PaTwC" id="4eu89JazXjK" role="1aUNEU">
-                    <node concept="3oM_SD" id="4eu89JazXjM" role="1PaTwD">
-                      <property role="3oM_SC" value="checkArrayItem_typed" />
-                    </node>
+                <node concept="3NuqgR" id="67AXZ5hmiX_" role="0Rg$4">
+                  <node concept="aZer4" id="67AXZ5hmiXA" role="3XD1gS">
+                    <property role="TrG5h" value="ArrT" />
                   </node>
+                  <node concept="aZer4" id="67AXZ5hmiXB" role="3XD1gS">
+                    <property role="TrG5h" value="DeclT" />
+                  </node>
+                  <node concept="aZer4" id="67AXZ5hmiXC" role="3XD1gS">
+                    <property role="TrG5h" value="ElemT" />
+                  </node>
+                  <node concept="32pEOW" id="67AXZ5hmiXD" role="3vLBG7" />
                 </node>
-                <node concept="1nLNNL" id="4eu89JazXkl" role="3cqZAp">
-                  <node concept="1nLNMm" id="4eu89JazXkn" role="1nLNNK">
-                    <node concept="3Aq93q" id="4eu89JazXkU" role="1nLNMb">
-                      <node concept="3I6sU6" id="4eu89JazXkV" role="3Ip0Jz">
-                        <node concept="3I6s7M" id="4eu89JazXkZ" role="3I6sU7">
-                          <node concept="3Aqt3T" id="4eu89JazXkY" role="3I6s78">
-                            <ref role="3AqCNq" node="4gD$zlTXS1P" resolve="checkArrayItem" />
-                            <node concept="37jhX" id="1TH_SRmhruq" role="3AunhB">
-                              <node concept="37vLTw" id="4eu89JazXlT" role="37jj2">
-                                <ref role="3cqZAo" node="geDLM4SLPs" resolve="item" />
-                              </node>
-                            </node>
-                            <node concept="a7P8L" id="4eu89JazXmc" role="3AunhB">
-                              <ref role="a7OzE" node="4eu89JazXl7" resolve="ElemT" />
+                <node concept="3xSepi" id="67AXZ5hmiXE" role="3xSepv">
+                  <node concept="3Aq9E8" id="67AXZ5hmiXF" role="3xSepj">
+                    <node concept="3I6sU6" id="67AXZ5hmiXG" role="3Ip0Jz">
+                      <node concept="3I6s7M" id="67AXZ5hmiXH" role="3I6sU7">
+                        <node concept="3Aqt3T" id="67AXZ5hmkX2" role="3I6s78">
+                          <ref role="3AqCNq" node="67AXZ5hmgsk" resolve="inferArrayItem" />
+                          <node concept="37jhX" id="67AXZ5hmkXj" role="3AunhB">
+                            <node concept="37vLTw" id="67AXZ5hmkXh" role="37jj2">
+                              <ref role="3cqZAo" node="67AXZ5hmiWW" resolve="item" />
                             </node>
                           </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3Aq93q" id="4eu89JazXmo" role="1nLNMb">
-                      <property role="3ArMco" value="true" />
-                      <node concept="3I6sU6" id="4eu89JazXmp" role="3Ip0Jz">
-                        <node concept="3I6s7M" id="4eu89JazXm$" role="3I6sU7">
-                          <node concept="3Aqt3T" id="4eu89JazXmz" role="3I6s78">
-                            <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                            <node concept="37jhX" id="1TH_SRmhrur" role="3AunhB">
-                              <node concept="37vLTw" id="4eu89JazXmM" role="37jj2">
-                                <ref role="3cqZAo" node="geDLM4SLPs" resolve="item" />
-                              </node>
-                            </node>
-                            <node concept="a7P8L" id="4eu89JazXnl" role="3AunhB">
-                              <ref role="a7OzE" node="4eu89JazXlr" resolve="ItemT" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3NuqgR" id="4eu89JazXl6" role="0Rg$4">
-                      <node concept="aZer4" id="4eu89JazXl7" role="3XD1gS">
-                        <property role="TrG5h" value="ElemT" />
-                      </node>
-                      <node concept="aZer4" id="4eu89JazXlr" role="3XD1gS">
-                        <property role="TrG5h" value="ItemT" />
-                      </node>
-                      <node concept="32pEOW" id="24ciDNzxNGj" role="3vLBG7" />
-                    </node>
-                    <node concept="3xSepi" id="6E2cNicdils" role="3xSepv">
-                      <node concept="3Aq9E8" id="4eu89JazXoX" role="3xSepj">
-                        <node concept="3I6sU6" id="4eu89JazXoY" role="3Ip0Jz">
-                          <node concept="3I6s7M" id="4eu89JazXnJ" role="3I6sU7">
-                            <node concept="3Aqt3T" id="4eu89JazXnI" role="3I6s78">
-                              <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="defaultConvertsTo" />
-                              <node concept="a7P8L" id="4eu89JazXnO" role="3AunhB">
-                                <ref role="a7OzE" node="4eu89JazXlr" resolve="ItemT" />
-                              </node>
-                              <node concept="a7P8L" id="4eu89JazXnW" role="3AunhB">
-                                <ref role="a7OzE" node="4eu89JazXl7" resolve="ElemT" />
-                              </node>
-                            </node>
+                          <node concept="a7P8L" id="67AXZ5hml7o" role="3AunhB">
+                            <ref role="a7OzE" node="67AXZ5hmiXC" resolve="ElemT" />
                           </node>
                         </node>
                       </node>
                     </node>
                   </node>
                 </node>
-                <node concept="3clFbH" id="4eu89JazXo2" role="3cqZAp" />
-              </node>
-              <node concept="3cpWsn" id="geDLM4SLQk" role="1Duv9x">
-                <property role="TrG5h" value="i" />
-                <node concept="10Oyi0" id="geDLM4SLQl" role="1tU5fm" />
-                <node concept="3cmrfG" id="geDLM4SLQm" role="33vP2m">
-                  <property role="3cmrfH" value="0" />
-                </node>
-              </node>
-              <node concept="3eOVzh" id="geDLM4SLQn" role="1Dwp0S">
-                <node concept="37vLTw" id="geDLM4SLQo" role="3uHU7w">
-                  <ref role="3cqZAo" node="geDLM4SLOV" resolve="sz" />
-                </node>
-                <node concept="37vLTw" id="geDLM4SLQp" role="3uHU7B">
-                  <ref role="3cqZAo" node="geDLM4SLQk" resolve="i" />
-                </node>
-              </node>
-              <node concept="3uNrnE" id="geDLM4SLQq" role="1Dwrff">
-                <node concept="37vLTw" id="geDLM4SLQr" role="2$L3a6">
-                  <ref role="3cqZAo" node="geDLM4SLQk" resolve="i" />
-                </node>
               </node>
             </node>
           </node>
-          <node concept="3eOSWO" id="geDLM4SZkQ" role="3clFbw">
-            <node concept="3cmrfG" id="geDLM4SZkT" role="3uHU7w">
+          <node concept="3cpWsn" id="67AXZ5hmiY9" role="1Duv9x">
+            <property role="TrG5h" value="i" />
+            <node concept="10Oyi0" id="67AXZ5hmiYa" role="1tU5fm" />
+            <node concept="3cmrfG" id="67AXZ5hmiYb" role="33vP2m">
               <property role="3cmrfH" value="0" />
             </node>
-            <node concept="2OqwBi" id="geDLM4SVgn" role="3uHU7B">
-              <node concept="2OqwBi" id="geDLM4STgJ" role="2Oq$k0">
-                <node concept="3A2sRY" id="geDLM4ST74" role="2Oq$k0">
-                  <ref role="3A2yKK" node="geDLM4SSCj" resolve="arr" />
-                </node>
-                <node concept="3Tsc0h" id="geDLM4STp4" role="2OqNvi">
-                  <ref role="3TtcxE" to="tpee:hiBsfQZ" resolve="item" />
-                </node>
-              </node>
-              <node concept="34oBXx" id="geDLM4SWTu" role="2OqNvi" />
+          </node>
+          <node concept="3eOVzh" id="67AXZ5hmiYc" role="1Dwp0S">
+            <node concept="37vLTw" id="67AXZ5hmiYd" role="3uHU7w">
+              <ref role="3cqZAo" node="67AXZ5hmiWM" resolve="sz" />
+            </node>
+            <node concept="37vLTw" id="67AXZ5hmiYe" role="3uHU7B">
+              <ref role="3cqZAo" node="67AXZ5hmiY9" resolve="i" />
+            </node>
+          </node>
+          <node concept="3uNrnE" id="67AXZ5hmiYf" role="1Dwrff">
+            <node concept="37vLTw" id="67AXZ5hmiYg" role="2$L3a6">
+              <ref role="3cqZAo" node="67AXZ5hmiY9" resolve="i" />
             </node>
           </node>
         </node>
       </node>
-    </node>
-    <node concept="1nLNMY" id="geDLM4T2lC" role="1nK1Vg">
-      <property role="TrG5h" value="arrayLiteralEmpty" />
-      <node concept="2t___k" id="geDLM4T2mo" role="1nLNMg">
+      <node concept="2t___k" id="67AXZ5hmiYj" role="1nLNMg">
         <ref role="2t_S0q" to="tpee:hiBsdKd" resolve="ArrayLiteral" />
-        <node concept="3A20r5" id="geDLM4T2mp" role="2t_VXX">
+        <node concept="3A20r5" id="67AXZ5hmiYk" role="2t_VXX">
           <property role="TrG5h" value="arr" />
         </node>
       </node>
-      <node concept="3clFbS" id="3c$Di5ODE7B" role="1nLNMH">
-        <node concept="3clFbJ" id="3c$Di5ODE7C" role="3cqZAp">
-          <node concept="3clFbS" id="geDLM4T2lD" role="3clFbx">
-            <node concept="1mebxG" id="geDLM53q1i" role="3cqZAp">
-              <node concept="2OqwBi" id="geDLM53q1j" role="1mebXD">
-                <node concept="3A2sRY" id="geDLM53q1k" role="2Oq$k0">
-                  <ref role="3A2yKK" node="geDLM4T2mp" resolve="arr" />
+    </node>
+    <node concept="1nLNMY" id="67AXZ5hmoVl" role="1nK1Vg">
+      <property role="TrG5h" value="inferArrayItem" />
+      <node concept="3clFbS" id="67AXZ5hmoVm" role="1nLNMH">
+        <node concept="3cpWs8" id="67AXZ5hmoVn" role="3cqZAp">
+          <node concept="3cpWsn" id="67AXZ5hmoVo" role="3cpWs9">
+            <property role="TrG5h" value="sz" />
+            <node concept="10Oyi0" id="67AXZ5hmoVp" role="1tU5fm" />
+            <node concept="2OqwBi" id="67AXZ5hmoVq" role="33vP2m">
+              <node concept="2OqwBi" id="67AXZ5hmoVr" role="2Oq$k0">
+                <node concept="3A2sRY" id="67AXZ5hmoVs" role="2Oq$k0">
+                  <ref role="3A2yKK" node="67AXZ5hmoXf" resolve="arr" />
                 </node>
-                <node concept="2Xjw5R" id="geDLM53q1l" role="2OqNvi">
-                  <node concept="1xMEDy" id="geDLM53q1m" role="1xVPHs">
-                    <node concept="chp4Y" id="geDLM53q1n" role="ri$Ld">
-                      <ref role="cht4Q" to="tpee:fz3uBXI" resolve="VariableDeclaration" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3clFbH" id="geDLM53q1W" role="3cqZAp" />
-            <node concept="1nLNNL" id="geDLM4T2lY" role="3cqZAp">
-              <node concept="1nLNMm" id="geDLM4T2lZ" role="1nLNNK">
-                <node concept="3Aq93q" id="geDLM4T2mc" role="1nLNMb">
-                  <property role="3ArMco" value="true" />
-                  <node concept="3I6sU6" id="geDLM4T2md" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="geDLM4T2me" role="3I6sU7">
-                      <node concept="3Aqt3T" id="geDLM4T2mf" role="3I6s78">
-                        <ref role="3AqCNq" node="34$A1MfabR$" resolve="checkAll" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-                <node concept="3xSepi" id="6E2cNicdilt" role="3xSepv">
-                  <node concept="3Aq9E8" id="geDLM4T2m0" role="3xSepj">
-                    <node concept="3I6sU6" id="geDLM4T2m1" role="3Ip0Jz">
-                      <node concept="3I6s7M" id="geDLM4T2m2" role="3I6sU7">
-                        <node concept="3Aqt3T" id="geDLM4T2m3" role="3I6s78">
-                          <ref role="3AqCNq" node="geDLM4Sq_H" resolve="emptyLiteral" />
-                          <node concept="37jhX" id="1TH_SRmhrus" role="3AunhB">
-                            <node concept="3A2sRY" id="geDLM4T2m5" role="37jj2">
-                              <ref role="3A2yKK" node="geDLM4T2mp" resolve="arr" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbC" id="geDLM4T3o4" role="3clFbw">
-            <node concept="2OqwBi" id="geDLM4T2mv" role="3uHU7B">
-              <node concept="2OqwBi" id="geDLM4T2mw" role="2Oq$k0">
-                <node concept="3A2sRY" id="geDLM4T2mx" role="2Oq$k0">
-                  <ref role="3A2yKK" node="geDLM4T2mp" resolve="arr" />
-                </node>
-                <node concept="3Tsc0h" id="geDLM4T2my" role="2OqNvi">
+                <node concept="3Tsc0h" id="67AXZ5hmoVt" role="2OqNvi">
                   <ref role="3TtcxE" to="tpee:hiBsfQZ" resolve="item" />
                 </node>
               </node>
-              <node concept="34oBXx" id="geDLM4T2mz" role="2OqNvi" />
-            </node>
-            <node concept="3cmrfG" id="geDLM4T2mu" role="3uHU7w">
-              <property role="3cmrfH" value="0" />
+              <node concept="34oBXx" id="67AXZ5hmoVu" role="2OqNvi" />
             </node>
           </node>
         </node>
-      </node>
-    </node>
-    <node concept="1nLNMY" id="geDLM4Sx9X" role="1nK1Vg">
-      <property role="TrG5h" value="checkArrayItem_nestedEmpty" />
-      <node concept="3clFbS" id="geDLM4Sx9Y" role="1nLNMH">
-        <node concept="1nLNNL" id="geDLM4Sx9Z" role="3cqZAp">
-          <node concept="1nLNMm" id="geDLM4Sxa0" role="1nLNNK">
-            <node concept="3Aq93q" id="geDLM4Sxa8" role="1nLNMb">
-              <node concept="3I6sU6" id="geDLM4Sxa9" role="3Ip0Jz">
-                <node concept="3I6s7M" id="geDLM4Sxaa" role="3I6sU7">
-                  <node concept="3Aqt3T" id="geDLM4Sxab" role="3I6s78">
-                    <ref role="3AqCNq" node="4gD$zlTXS1P" resolve="checkArrayItem" />
-                    <node concept="a7P8L" id="geDLM4Sxac" role="3AunhB">
-                      <ref role="a7OzE" node="geDLM4Sxa6" resolve="ArrayLiteralNode" />
+        <node concept="1Dw8fO" id="67AXZ5hmoVv" role="3cqZAp">
+          <node concept="3clFbS" id="67AXZ5hmoVw" role="2LFqv$">
+            <node concept="3cpWs8" id="67AXZ5hmoVx" role="3cqZAp">
+              <node concept="3cpWsn" id="67AXZ5hmoVy" role="3cpWs9">
+                <property role="TrG5h" value="item" />
+                <node concept="3Tqbb2" id="67AXZ5hmoVz" role="1tU5fm" />
+                <node concept="1y4W85" id="67AXZ5hmoV$" role="33vP2m">
+                  <node concept="37vLTw" id="67AXZ5hmoV_" role="1y58nS">
+                    <ref role="3cqZAo" node="67AXZ5hmoX6" resolve="i" />
+                  </node>
+                  <node concept="2OqwBi" id="67AXZ5hmoVA" role="1y566C">
+                    <node concept="3A2sRY" id="67AXZ5hmoVB" role="2Oq$k0">
+                      <ref role="3A2yKK" node="67AXZ5hmoXf" resolve="arr" />
                     </node>
-                    <node concept="a7P8L" id="geDLM4Tn8n" role="3AunhB">
-                      <ref role="a7OzE" node="geDLM4Sxa3" resolve="ArrayT" />
+                    <node concept="3Tsc0h" id="67AXZ5hmoVC" role="2OqNvi">
+                      <ref role="3TtcxE" to="tpee:hiBsfQZ" resolve="item" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3Aq93q" id="geDLM4Sxae" role="1nLNMb">
-              <node concept="3I6sU6" id="geDLM4Sxaf" role="3Ip0Jz">
-                <node concept="3I6s7M" id="geDLM4Sxag" role="3I6sU7">
-                  <node concept="3Aqt3T" id="geDLM4SxMe" role="3I6s78">
-                    <ref role="3AqCNq" node="geDLM4Sq_H" resolve="emptyLiteral" />
-                    <node concept="a7P8L" id="geDLM4Sy5k" role="3AunhB">
-                      <ref role="a7OzE" node="geDLM4Sxa6" resolve="ArrayLiteralNode" />
+            <node concept="3clFbJ" id="67AXZ5huGuv" role="3cqZAp">
+              <node concept="3clFbS" id="67AXZ5huGux" role="3clFbx">
+                <node concept="3clFbH" id="67AXZ5huHLc" role="3cqZAp" />
+                <node concept="3SKdUt" id="67AXZ5hmoVE" role="3cqZAp">
+                  <node concept="1PaTwC" id="67AXZ5hmoVF" role="1aUNEU">
+                    <node concept="3oM_SD" id="67AXZ5hmoVG" role="1PaTwD">
+                      <property role="3oM_SC" value="branch:" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hmoVH" role="1PaTwD">
+                      <property role="3oM_SC" value="when" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hmsHI" role="1PaTwD">
+                      <property role="3oM_SC" value="there's" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hmoVI" role="1PaTwD">
+                      <property role="3oM_SC" value="item" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hmoVJ" role="1PaTwD">
+                      <property role="3oM_SC" value="type" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hmoVK" role="1PaTwD">
+                      <property role="3oM_SC" value="&amp;" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hmoVL" role="1PaTwD">
+                      <property role="3oM_SC" value="there's" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hmoVM" role="1PaTwD">
+                      <property role="3oM_SC" value="no" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hmoVN" role="1PaTwD">
+                      <property role="3oM_SC" value="item" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hmoVO" role="1PaTwD">
+                      <property role="3oM_SC" value="type" />
                     </node>
                   </node>
                 </node>
-              </node>
-            </node>
-            <node concept="3Aq9_M" id="geDLM4Tnd6" role="1nLNMa">
-              <node concept="3I6sU6" id="geDLM4Tnd7" role="3Ip0Jz">
-                <node concept="3I6s7M" id="geDLM4TnoA" role="3I6sU7">
-                  <node concept="3A8Hvi" id="geDLM4Tnoz" role="3I6s78">
-                    <node concept="a7P8L" id="geDLM4Tnsu" role="3A8wtg">
-                      <ref role="a7OzE" node="geDLM4Sxa3" resolve="ArrayT" />
-                    </node>
-                    <node concept="ns1u0" id="geDLM4Tnwm" role="3A8w4Q">
-                      <ref role="ns1xF" node="JOGAOsVt2o" resolve="array" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="geDLM4Sxa2" role="0Rg$4">
-              <node concept="aZer4" id="geDLM4Sxa3" role="3XD1gS">
-                <property role="TrG5h" value="ArrayT" />
-              </node>
-              <node concept="aZer4" id="geDLM4Sxa4" role="3XD1gS">
-                <property role="TrG5h" value="ItemT" />
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNGk" role="3vLBG7" />
-            </node>
-            <node concept="3NuqgR" id="geDLM4Sxa5" role="0Rg$4">
-              <node concept="aZer4" id="geDLM4Sxa6" role="3XD1gS">
-                <property role="TrG5h" value="ArrayLiteralNode" />
-              </node>
-              <node concept="3Tqbb2" id="3ca5Bh20RB$" role="3vLBG7" />
-            </node>
-            <node concept="3xSepi" id="6E2cNicdilu" role="3xSepv">
-              <node concept="3Aq9E8" id="geDLM4Sxak" role="3xSepj">
-                <node concept="3I6sU6" id="geDLM4Sxal" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="geDLM4Sxam" role="3I6sU7">
-                    <node concept="3Aqt3T" id="geDLM4SyiC" role="3I6s78">
-                      <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                      <node concept="a7P8L" id="geDLM4Syqj" role="3AunhB">
-                        <ref role="a7OzE" node="geDLM4Sxa6" resolve="ArrayLiteralNode" />
-                      </node>
-                      <node concept="a7P8L" id="geDLM4SySy" role="3AunhB">
-                        <ref role="a7OzE" node="geDLM4Sxa3" resolve="ArrayT" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="geDLM4T9M4" role="3cqZAp" />
-        <node concept="1nLNNL" id="geDLM4T9YE" role="3cqZAp">
-          <node concept="1nLNMm" id="geDLM4T9YG" role="1nLNNK">
-            <node concept="3Aq93q" id="geDLM4Tamb" role="1nLNMb">
-              <node concept="3I6sU6" id="geDLM4Tamc" role="3Ip0Jz">
-                <node concept="3I6s7M" id="geDLM4Tamd" role="3I6sU7">
-                  <node concept="3Aqt3T" id="geDLM4Tame" role="3I6s78">
-                    <ref role="3AqCNq" node="4gD$zlTXS1P" resolve="checkArrayItem" />
-                    <node concept="a7P8L" id="geDLM4Tamf" role="3AunhB">
-                      <ref role="a7OzE" node="5TXeSYSGbxs" resolve="ArrayLiteralNode" />
-                    </node>
-                    <node concept="a7P8L" id="geDLM4Tbly" role="3AunhB">
-                      <ref role="a7OzE" node="geDLM4TaW4" resolve="NonArrayT" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3Aq93q" id="geDLM4Tamj" role="1nLNMb">
-              <node concept="3I6sU6" id="geDLM4Tamk" role="3Ip0Jz">
-                <node concept="3I6s7M" id="geDLM4Taml" role="3I6sU7">
-                  <node concept="3Aqt3T" id="geDLM4Tamm" role="3I6s78">
-                    <ref role="3AqCNq" node="geDLM4Sq_H" resolve="emptyLiteral" />
-                    <node concept="a7P8L" id="geDLM4Tamn" role="3AunhB">
-                      <ref role="a7OzE" node="5TXeSYSGbxs" resolve="ArrayLiteralNode" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="geDLM4TaW3" role="0Rg$4">
-              <node concept="aZer4" id="geDLM4TaW4" role="3XD1gS">
-                <property role="TrG5h" value="NonArrayT" />
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNGl" role="3vLBG7" />
-            </node>
-            <node concept="3NuqgR" id="5TXeSYSGbxo" role="0Rg$4">
-              <node concept="aZer4" id="5TXeSYSGbxp" role="3XD1gS">
-                <property role="TrG5h" value="ArrayT" />
-              </node>
-              <node concept="aZer4" id="5TXeSYSGbxq" role="3XD1gS">
-                <property role="TrG5h" value="ItemT" />
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNGm" role="3vLBG7" />
-            </node>
-            <node concept="3NuqgR" id="5TXeSYSGbxr" role="0Rg$4">
-              <node concept="aZer4" id="5TXeSYSGbxs" role="3XD1gS">
-                <property role="TrG5h" value="ArrayLiteralNode" />
-              </node>
-              <node concept="3Tqbb2" id="3ca5Bh20WGR" role="3vLBG7" />
-            </node>
-            <node concept="3xSepi" id="6E2cNicdilv" role="3xSepv">
-              <node concept="3Aq9E8" id="geDLM4Tby2" role="3xSepj">
-                <node concept="3I6sU6" id="geDLM4Tby3" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="geDLM4TgeZ" role="3I6sU7">
-                    <node concept="1lHd6T" id="PltxfHBerA" role="3I6s78">
-                      <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
-                      <node concept="3cpWs3" id="geDLM4Thmu" role="1ljv2e">
-                        <node concept="Xl_RD" id="geDLM4TgiQ" role="3uHU7B">
-                          <property role="Xl_RC" value="array type cannot be converted to " />
-                        </node>
-                        <node concept="1Ft4W6" id="7zIaaskbYIs" role="3uHU7w">
-                          <node concept="a7P8L" id="geDLM4ThA4" role="1FtiSR">
-                            <ref role="a7OzE" node="geDLM4TaW4" resolve="NonArrayT" />
+                <node concept="3clFbH" id="67AXZ5huHFw" role="3cqZAp" />
+                <node concept="1nLNNL" id="67AXZ5hmoWD" role="3cqZAp">
+                  <node concept="1nLNMm" id="67AXZ5hmoWE" role="1nLNNK">
+                    <node concept="3Aq93q" id="67AXZ5hmoWF" role="1nLNMb">
+                      <node concept="3I6sU6" id="67AXZ5hmoWG" role="3Ip0Jz">
+                        <node concept="3I6s7M" id="67AXZ5hmoWH" role="3I6sU7">
+                          <node concept="3Aqt3T" id="67AXZ5hmoWI" role="3I6s78">
+                            <ref role="3AqCNq" node="67AXZ5hmgsk" resolve="inferArrayItem" />
+                            <node concept="37jhX" id="67AXZ5hmr8H" role="3AunhB">
+                              <node concept="37vLTw" id="67AXZ5hmr8F" role="37jj2">
+                                <ref role="3cqZAo" node="67AXZ5hmoVy" resolve="item" />
+                              </node>
+                            </node>
+                            <node concept="a7P8L" id="67AXZ5hmoWK" role="3AunhB">
+                              <ref role="a7OzE" node="67AXZ5hmoWV" resolve="DeclT" />
+                            </node>
                           </node>
                         </node>
                       </node>
-                      <node concept="3G3gwz" id="PltxfHBes0" role="3Gvizk">
-                        <node concept="1Ft4W6" id="7zIaaskbYIt" role="3G3gzb">
-                          <node concept="a7P8L" id="PltxfHBesd" role="1FtiSR">
-                            <ref role="a7OzE" node="5TXeSYSGbxs" resolve="ArrayLiteralNode" />
+                    </node>
+                    <node concept="3Aq93q" id="67AXZ5hmoWL" role="1nLNMb">
+                      <property role="3ArMco" value="true" />
+                      <node concept="3I6sU6" id="67AXZ5hmoWM" role="3Ip0Jz">
+                        <node concept="3I6s7M" id="67AXZ5hmoWN" role="3I6sU7">
+                          <node concept="3Aqt3T" id="67AXZ5hmoWO" role="3I6s78">
+                            <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                            <node concept="37jhX" id="67AXZ5hmrcp" role="3AunhB">
+                              <node concept="37vLTw" id="67AXZ5hmrcn" role="37jj2">
+                                <ref role="3cqZAo" node="67AXZ5hmoVy" resolve="item" />
+                              </node>
+                            </node>
+                            <node concept="a7P8L" id="67AXZ5hmrcK" role="3AunhB">
+                              <ref role="a7OzE" node="67AXZ5hmoWU" resolve="ItemT" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3NuqgR" id="67AXZ5hmoWT" role="0Rg$4">
+                      <node concept="aZer4" id="67AXZ5hmoWU" role="3XD1gS">
+                        <property role="TrG5h" value="ItemT" />
+                      </node>
+                      <node concept="aZer4" id="67AXZ5hmoWV" role="3XD1gS">
+                        <property role="TrG5h" value="DeclT" />
+                      </node>
+                      <node concept="32pEOW" id="67AXZ5hmoWW" role="3vLBG7" />
+                    </node>
+                    <node concept="3xSepi" id="67AXZ5hmoWX" role="3xSepv">
+                      <node concept="3Aq9E8" id="67AXZ5hmoWY" role="3xSepj">
+                        <node concept="3I6sU6" id="67AXZ5hmoWZ" role="3Ip0Jz">
+                          <node concept="3I6s7M" id="67AXZ5hmoX0" role="3I6sU7">
+                            <node concept="3Aqt3T" id="67AXZ5hmqOW" role="3I6s78">
+                              <ref role="3AqCNq" node="3vTJNooZDgN" resolve="convertsTo" />
+                              <node concept="a7P8L" id="67AXZ5hmrcT" role="3AunhB">
+                                <ref role="a7OzE" node="67AXZ5hmoWU" resolve="ItemT" />
+                              </node>
+                              <node concept="a7P8L" id="67AXZ5hmreX" role="3AunhB">
+                                <ref role="a7OzE" node="67AXZ5hmoWV" resolve="DeclT" />
+                              </node>
+                              <node concept="37jhX" id="67AXZ5hmrlF" role="3AunhB">
+                                <node concept="2YIFZM" id="67AXZ5hmruV" role="37jj2">
+                                  <ref role="37wK5l" node="6GOqnFkHi03" resolve="assignmentContext" />
+                                  <ref role="1Pybhc" node="4O7HczOeKN2" resolve="ConvertsContext" />
+                                </node>
+                              </node>
+                            </node>
                           </node>
                         </node>
                       </node>
                     </node>
                   </node>
                 </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
-    <node concept="1nLNMY" id="geDLM4SzSY" role="1nK1Vg">
-      <property role="TrG5h" value="checkArrayItem_nested" />
-      <node concept="3clFbS" id="geDLM4SzSZ" role="1nLNMH">
-        <node concept="1nLNNL" id="geDLM4SzT8" role="3cqZAp">
-          <node concept="1nLNMm" id="geDLM4SzT9" role="1nLNNK">
-            <node concept="3Aq93q" id="geDLM4SzTh" role="1nLNMb">
-              <property role="3ArMco" value="true" />
-              <node concept="3I6sU6" id="geDLM4SzTi" role="3Ip0Jz">
-                <node concept="3I6s7M" id="geDLM4SzTj" role="3I6sU7">
-                  <node concept="3Aqt3T" id="geDLM4SzTk" role="3I6s78">
-                    <ref role="3AqCNq" node="4gD$zlTXS1P" resolve="checkArrayItem" />
-                    <node concept="a7P8L" id="geDLM4SzTl" role="3AunhB">
-                      <ref role="a7OzE" node="geDLM4SzTf" resolve="ArrayLiteralNode" />
+                <node concept="3clFbH" id="67AXZ5huGuw" role="3cqZAp" />
+                <node concept="3SKdUt" id="67AXZ5hmrCS" role="3cqZAp">
+                  <node concept="1PaTwC" id="67AXZ5hmrCT" role="1aUNEU">
+                    <node concept="3oM_SD" id="67AXZ5hmrCU" role="1PaTwD">
+                      <property role="3oM_SC" value="when" />
                     </node>
-                    <node concept="1HFMs5" id="geDLM4S_$y" role="3AunhB">
-                      <node concept="a7P8L" id="geDLM4SzTm" role="1uarlU">
-                        <ref role="a7OzE" node="geDLM4SzTc" resolve="ArrayT" />
+                    <node concept="3oM_SD" id="67AXZ5hmrEt" role="1PaTwD">
+                      <property role="3oM_SC" value="there's" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hmrEw" role="1PaTwD">
+                      <property role="3oM_SC" value="no" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hmrEJ" role="1PaTwD">
+                      <property role="3oM_SC" value="type" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hms4Z" role="1PaTwD">
+                      <property role="3oM_SC" value="and" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hms55" role="1PaTwD">
+                      <property role="3oM_SC" value="it" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hms5c" role="1PaTwD">
+                      <property role="3oM_SC" value="comes" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hms5k" role="1PaTwD">
+                      <property role="3oM_SC" value="solely" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hms5t" role="1PaTwD">
+                      <property role="3oM_SC" value="from" />
+                    </node>
+                    <node concept="3oM_SD" id="67AXZ5hms5B" role="1PaTwD">
+                      <property role="3oM_SC" value="declaration" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="1nLNNL" id="67AXZ5hmmVl" role="3cqZAp">
+                  <node concept="1nLNMm" id="67AXZ5hmmVm" role="1nLNNK">
+                    <node concept="3Aq93q" id="67AXZ5hmmVn" role="1nLNMb">
+                      <node concept="3I6sU6" id="67AXZ5hmmVo" role="3Ip0Jz">
+                        <node concept="3I6s7M" id="67AXZ5hmmVp" role="3I6sU7">
+                          <node concept="3Aqt3T" id="67AXZ5hmmVq" role="3I6s78">
+                            <ref role="3AqCNq" node="67AXZ5hmgsk" resolve="inferArrayItem" />
+                            <node concept="37jhX" id="67AXZ5hmr_w" role="3AunhB">
+                              <node concept="37vLTw" id="67AXZ5hmr_u" role="37jj2">
+                                <ref role="3cqZAo" node="67AXZ5hmoVy" resolve="item" />
+                              </node>
+                            </node>
+                            <node concept="a7P8L" id="67AXZ5hms91" role="3AunhB">
+                              <ref role="a7OzE" node="67AXZ5hmmVB" resolve="DeclT" />
+                            </node>
+                          </node>
+                        </node>
                       </node>
-                      <node concept="ns1u0" id="geDLM4S_Ir" role="1uarlW">
-                        <ref role="ns1xF" node="JOGAOsVt2o" resolve="array" />
-                        <node concept="nsMwS" id="geDLM4SAyy" role="ns1xD">
-                          <ref role="nsMwP" node="39Sam6Zio_N" resolve="parameter" />
-                          <node concept="1nq8_$" id="geDLM4SB2U" role="nsMwV">
-                            <node concept="a7P8L" id="geDLM4SB2S" role="1nq8_t">
-                              <ref role="a7OzE" node="geDLM4S_XM" resolve="ElemT" />
+                    </node>
+                    <node concept="3NuqgR" id="67AXZ5hmmV_" role="0Rg$4">
+                      <node concept="aZer4" id="67AXZ5hmmVB" role="3XD1gS">
+                        <property role="TrG5h" value="DeclT" />
+                      </node>
+                      <node concept="32pEOW" id="67AXZ5hmmVD" role="3vLBG7" />
+                    </node>
+                    <node concept="3xSepi" id="67AXZ5hmmVE" role="3xSepv">
+                      <node concept="3Aq9E8" id="67AXZ5hmmVF" role="3xSepj">
+                        <node concept="3I6sU6" id="67AXZ5hmmVG" role="3Ip0Jz">
+                          <node concept="3I6s7M" id="67AXZ5hmmVH" role="3I6sU7">
+                            <node concept="3Aqt3T" id="67AXZ5hmsb3" role="3I6s78">
+                              <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
+                              <node concept="37jhX" id="67AXZ5hmsba" role="3AunhB">
+                                <node concept="37vLTw" id="67AXZ5hmsb8" role="37jj2">
+                                  <ref role="3cqZAo" node="67AXZ5hmoVy" resolve="item" />
+                                </node>
+                              </node>
+                              <node concept="a7P8L" id="67AXZ5hmsi0" role="3AunhB">
+                                <ref role="a7OzE" node="67AXZ5hmmVB" resolve="DeclT" />
+                              </node>
                             </node>
                           </node>
                         </node>
@@ -33345,206 +33214,160 @@
                   </node>
                 </node>
               </node>
-            </node>
-            <node concept="3Aq93q" id="geDLM4SzTn" role="1nLNMb">
-              <node concept="3I6sU6" id="geDLM4SzTo" role="3Ip0Jz">
-                <node concept="3I6s7M" id="geDLM4SzTp" role="3I6sU7">
-                  <node concept="3Aqt3T" id="geDLM4S$y7" role="3I6s78">
-                    <ref role="3AqCNq" node="geDLM4SpJK" resolve="arrayItem" />
-                    <node concept="a7P8L" id="geDLM4S$DO" role="3AunhB">
-                      <ref role="a7OzE" node="geDLM4SzTf" resolve="ArrayLiteralNode" />
-                    </node>
-                    <node concept="a7P8L" id="geDLM4S_kA" role="3AunhB">
-                      <ref role="a7OzE" node="geDLM4S_3a" resolve="ItemNode" />
-                    </node>
+              <node concept="3fqX7Q" id="67AXZ5huH39" role="3clFbw">
+                <node concept="2OqwBi" id="67AXZ5huH3b" role="3fr31v">
+                  <node concept="37vLTw" id="67AXZ5huH3c" role="2Oq$k0">
+                    <ref role="3cqZAo" node="67AXZ5hmoVy" resolve="item" />
                   </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3NuqgR" id="geDLM4SzTb" role="0Rg$4">
-              <node concept="aZer4" id="geDLM4SzTc" role="3XD1gS">
-                <property role="TrG5h" value="ArrayT" />
-              </node>
-              <node concept="aZer4" id="geDLM4S_XM" role="3XD1gS">
-                <property role="TrG5h" value="ElemT" />
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNGn" role="3vLBG7" />
-            </node>
-            <node concept="3NuqgR" id="geDLM4SzTe" role="0Rg$4">
-              <node concept="aZer4" id="geDLM4SzTf" role="3XD1gS">
-                <property role="TrG5h" value="ArrayLiteralNode" />
-              </node>
-              <node concept="aZer4" id="geDLM4S_3a" role="3XD1gS">
-                <property role="TrG5h" value="ItemNode" />
-              </node>
-              <node concept="3Tqbb2" id="3ca5Bh20WJ0" role="3vLBG7" />
-            </node>
-            <node concept="3xSepi" id="6E2cNicdilw" role="3xSepv">
-              <node concept="3Aq9E8" id="geDLM4SzTs" role="3xSepj">
-                <node concept="3I6sU6" id="geDLM4SzTt" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="geDLM4SzTu" role="3I6sU7">
-                    <node concept="3Aqt3T" id="geDLM4SBMF" role="3I6s78">
-                      <ref role="3AqCNq" node="4gD$zlTXS1P" resolve="checkArrayItem" />
-                      <node concept="a7P8L" id="geDLM4SBUo" role="3AunhB">
-                        <ref role="a7OzE" node="geDLM4S_3a" resolve="ItemNode" />
-                      </node>
-                      <node concept="a7P8L" id="geDLM4SC0q" role="3AunhB">
-                        <ref role="a7OzE" node="geDLM4S_XM" resolve="ElemT" />
-                      </node>
+                  <node concept="1mIQ4w" id="67AXZ5huH3d" role="2OqNvi">
+                    <node concept="chp4Y" id="67AXZ5huH3e" role="cj9EA">
+                      <ref role="cht4Q" to="tpee:hiBsdKd" resolve="ArrayLiteral" />
                     </node>
                   </node>
                 </node>
               </node>
             </node>
           </node>
-        </node>
-        <node concept="3clFbH" id="geDLM4SCdS" role="3cqZAp" />
-        <node concept="1nLNNL" id="geDLM4SIDs" role="3cqZAp">
-          <node concept="1nLNMm" id="geDLM4SIDu" role="1nLNNK">
-            <node concept="3Aq93q" id="geDLM4SITN" role="1nLNMb">
-              <node concept="3I6sU6" id="geDLM4SITO" role="3Ip0Jz">
-                <node concept="3I6s7M" id="geDLM4SITP" role="3I6sU7">
-                  <node concept="3Aqt3T" id="geDLM4SITQ" role="3I6s78">
-                    <ref role="3AqCNq" node="4gD$zlTXS1P" resolve="checkArrayItem" />
-                    <node concept="a7P8L" id="geDLM4SITR" role="3AunhB">
-                      <ref role="a7OzE" node="5TXeSYSGbVy" resolve="ArrayLiteralNode" />
-                    </node>
-                    <node concept="a7P8L" id="geDLM4SJTS" role="3AunhB">
-                      <ref role="a7OzE" node="geDLM4SJAH" resolve="NonArrayT" />
-                    </node>
-                  </node>
-                </node>
-              </node>
+          <node concept="3cpWsn" id="67AXZ5hmoX6" role="1Duv9x">
+            <property role="TrG5h" value="i" />
+            <node concept="10Oyi0" id="67AXZ5hmoX7" role="1tU5fm" />
+            <node concept="3cmrfG" id="67AXZ5hmoX8" role="33vP2m">
+              <property role="3cmrfH" value="0" />
             </node>
-            <node concept="3Aq93q" id="geDLM4SITY" role="1nLNMb">
-              <node concept="3I6sU6" id="geDLM4SITZ" role="3Ip0Jz">
-                <node concept="3I6s7M" id="geDLM4SIU0" role="3I6sU7">
-                  <node concept="3Aqt3T" id="geDLM4SIU1" role="3I6s78">
-                    <ref role="3AqCNq" node="geDLM4SpJK" resolve="arrayItem" />
-                    <node concept="a7P8L" id="geDLM4SIU2" role="3AunhB">
-                      <ref role="a7OzE" node="5TXeSYSGbVy" resolve="ArrayLiteralNode" />
-                    </node>
-                    <node concept="a7P8L" id="geDLM4SIU3" role="3AunhB">
-                      <ref role="a7OzE" node="5TXeSYSGcib" resolve="ItemNode" />
-                    </node>
-                  </node>
-                </node>
-              </node>
+          </node>
+          <node concept="3eOVzh" id="67AXZ5hmoX9" role="1Dwp0S">
+            <node concept="37vLTw" id="67AXZ5hmoXa" role="3uHU7w">
+              <ref role="3cqZAo" node="67AXZ5hmoVo" resolve="sz" />
             </node>
-            <node concept="3NuqgR" id="geDLM4SJAG" role="0Rg$4">
-              <node concept="aZer4" id="geDLM4SJAH" role="3XD1gS">
-                <property role="TrG5h" value="NonArrayT" />
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNGo" role="3vLBG7" />
+            <node concept="37vLTw" id="67AXZ5hmoXb" role="3uHU7B">
+              <ref role="3cqZAo" node="67AXZ5hmoX6" resolve="i" />
             </node>
-            <node concept="3NuqgR" id="5TXeSYSGbVu" role="0Rg$4">
-              <node concept="aZer4" id="5TXeSYSGbVv" role="3XD1gS">
-                <property role="TrG5h" value="ArrayT" />
-              </node>
-              <node concept="32pEOW" id="24ciDNzxNGp" role="3vLBG7" />
-            </node>
-            <node concept="3NuqgR" id="5TXeSYSGbVx" role="0Rg$4">
-              <node concept="aZer4" id="5TXeSYSGbVy" role="3XD1gS">
-                <property role="TrG5h" value="ArrayLiteralNode" />
-              </node>
-              <node concept="aZer4" id="5TXeSYSGcib" role="3XD1gS">
-                <property role="TrG5h" value="ItemNode" />
-              </node>
-              <node concept="3Tqbb2" id="3ca5Bh20WOX" role="3vLBG7" />
-            </node>
-            <node concept="3xSepi" id="6E2cNicdilx" role="3xSepv">
-              <node concept="3Aq9E8" id="geDLM4SKB2" role="3xSepj">
-                <node concept="3I6sU6" id="geDLM4SKB3" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="geDLM4SKII" role="3I6sU7">
-                    <node concept="1lHd6T" id="PltxfHBesw" role="3I6s78">
-                      <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
-                      <node concept="3cpWs3" id="PltxfHBesx" role="1ljv2e">
-                        <node concept="Xl_RD" id="PltxfHBes_" role="3uHU7B">
-                          <property role="Xl_RC" value="array type cannot be converted to " />
-                        </node>
-                        <node concept="1Ft4W6" id="7zIaaskbYIu" role="3uHU7w">
-                          <node concept="a7P8L" id="PltxfHBKkw" role="1FtiSR">
-                            <ref role="a7OzE" node="geDLM4SJAH" resolve="NonArrayT" />
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="3G3gwz" id="PltxfHBesA" role="3Gvizk">
-                        <node concept="1Ft4W6" id="7zIaaskbYIv" role="3G3gzb">
-                          <node concept="a7P8L" id="PltxfHBKmv" role="1FtiSR">
-                            <ref role="a7OzE" node="5TXeSYSGbVy" resolve="ArrayLiteralNode" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
+          </node>
+          <node concept="3uNrnE" id="67AXZ5hmoXc" role="1Dwrff">
+            <node concept="37vLTw" id="67AXZ5hmoXd" role="2$L3a6">
+              <ref role="3cqZAo" node="67AXZ5hmoX6" resolve="i" />
             </node>
           </node>
         </node>
-        <node concept="3clFbH" id="geDLM4SIrY" role="3cqZAp" />
-        <node concept="3SKdUt" id="geDLM4SDWb" role="3cqZAp">
-          <node concept="1PaTwC" id="geDLM4SDWc" role="1aUNEU">
-            <node concept="3oM_SD" id="geDLM4SDWe" role="1PaTwD">
-              <property role="3oM_SC" value="When" />
+      </node>
+      <node concept="2t___k" id="67AXZ5hmoXe" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:hiBsdKd" resolve="ArrayLiteral" />
+        <node concept="3A20r5" id="67AXZ5hmoXf" role="2t_VXX">
+          <property role="TrG5h" value="arr" />
+        </node>
+      </node>
+    </node>
+    <node concept="1nLNMY" id="67AXZ5hsPC2" role="1nK1Vg">
+      <property role="TrG5h" value="arrayLiteral_checkItems_finish" />
+      <node concept="3clFbS" id="67AXZ5hsPC3" role="1nLNMH">
+        <node concept="3SKdUt" id="67AXZ5hsPCV" role="3cqZAp">
+          <node concept="1PaTwC" id="67AXZ5hsPCW" role="1aUNEU">
+            <node concept="3oM_SD" id="67AXZ5hsPCX" role="1PaTwD">
+              <property role="3oM_SC" value="walked" />
             </node>
-            <node concept="3oM_SD" id="geDLM4SDXc" role="1PaTwD">
+            <node concept="3oM_SD" id="67AXZ5hsPCY" role="1PaTwD">
               <property role="3oM_SC" value="all" />
             </node>
-            <node concept="3oM_SD" id="geDLM4SDXf" role="1PaTwD">
+            <node concept="3oM_SD" id="67AXZ5hsPCZ" role="1PaTwD">
               <property role="3oM_SC" value="array" />
             </node>
-            <node concept="3oM_SD" id="geDLM4SE16" role="1PaTwD">
+            <node concept="3oM_SD" id="67AXZ5hsPD0" role="1PaTwD">
               <property role="3oM_SC" value="items" />
             </node>
-            <node concept="3oM_SD" id="geDLM4SE4Y" role="1PaTwD">
-              <property role="3oM_SC" value="are" />
-            </node>
-            <node concept="3oM_SD" id="geDLM4SE54" role="1PaTwD">
-              <property role="3oM_SC" value="checked" />
-            </node>
           </node>
         </node>
-        <node concept="1nLNNL" id="geDLM4SCj2" role="3cqZAp">
-          <node concept="1nLNMm" id="geDLM4SCj4" role="1nLNNK">
-            <node concept="3Aq93q" id="geDLM4SCro" role="1nLNMb">
-              <node concept="3I6sU6" id="geDLM4SCrp" role="3Ip0Jz">
-                <node concept="3I6s7M" id="geDLM4SCvg" role="3I6sU7">
-                  <node concept="3Aqt3T" id="geDLM4SCvf" role="3I6s78">
-                    <ref role="3AqCNq" node="4gD$zlTXS1P" resolve="checkArrayItem" />
-                    <node concept="a7P8L" id="geDLM4SCEK" role="3AunhB">
-                      <ref role="a7OzE" node="5TXeSYSGc_e" resolve="ArrayLiteralNode" />
+        <node concept="1nLNNL" id="67AXZ5hsPD1" role="3cqZAp">
+          <node concept="1nLNMm" id="67AXZ5hsPD2" role="1nLNNK">
+            <node concept="3Aq93q" id="67AXZ5hsPD3" role="1nLNMb">
+              <node concept="3I6sU6" id="67AXZ5hsPD4" role="3Ip0Jz">
+                <node concept="3I6s7M" id="67AXZ5hsPD5" role="3I6sU7">
+                  <node concept="3Aqt3T" id="67AXZ5hsPD6" role="3I6s78">
+                    <ref role="3AqCNq" node="67AXZ5hmgsk" resolve="inferArrayItem" />
+                    <node concept="37jhX" id="67AXZ5hsPD7" role="3AunhB">
+                      <node concept="3A2sRY" id="67AXZ5hsPD8" role="37jj2">
+                        <ref role="3A2yKK" node="67AXZ5hsPDI" resolve="arr" />
+                      </node>
                     </node>
-                    <node concept="a7P8L" id="geDLM4SCKW" role="3AunhB">
-                      <ref role="a7OzE" node="5TXeSYSGc_b" resolve="ArrayT" />
+                    <node concept="1HFMs5" id="67AXZ5hsPD9" role="3AunhB">
+                      <node concept="a7P8L" id="67AXZ5hsPDa" role="1uarlU">
+                        <ref role="a7OzE" node="67AXZ5hsPDd" resolve="ArrT" />
+                      </node>
+                      <node concept="ns1u0" id="67AXZ5hsPDb" role="1uarlW">
+                        <ref role="ns1xF" node="JOGAOsVt2o" resolve="array" />
+                      </node>
                     </node>
                   </node>
                 </node>
               </node>
             </node>
-            <node concept="3NuqgR" id="5TXeSYSGc_a" role="0Rg$4">
-              <node concept="aZer4" id="5TXeSYSGc_b" role="3XD1gS">
-                <property role="TrG5h" value="ArrayT" />
+            <node concept="3NuqgR" id="67AXZ5hsPDc" role="0Rg$4">
+              <node concept="aZer4" id="67AXZ5hsPDd" role="3XD1gS">
+                <property role="TrG5h" value="ArrT" />
               </node>
-              <node concept="32pEOW" id="24ciDNzxNGq" role="3vLBG7" />
+              <node concept="32pEOW" id="67AXZ5hsPDe" role="3vLBG7" />
             </node>
-            <node concept="3NuqgR" id="5TXeSYSGc_d" role="0Rg$4">
-              <node concept="aZer4" id="5TXeSYSGc_e" role="3XD1gS">
-                <property role="TrG5h" value="ArrayLiteralNode" />
-              </node>
-              <node concept="3Tqbb2" id="3ca5Bh20WPP" role="3vLBG7" />
-            </node>
-            <node concept="3xSepi" id="6E2cNicdily" role="3xSepv">
-              <node concept="3Aq9E8" id="geDLM4SCTi" role="3xSepj">
-                <node concept="3I6sU6" id="geDLM4SCTj" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="geDLM4SDb3" role="3I6sU7">
-                    <node concept="3Aqt3T" id="geDLM4SDqk" role="3I6s78">
+            <node concept="3xSepi" id="67AXZ5hsPDf" role="3xSepv">
+              <node concept="3Aq9E8" id="67AXZ5hsPDg" role="3xSepj">
+                <node concept="3I6sU6" id="67AXZ5hsPDh" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="67AXZ5hsPDi" role="3I6sU7">
+                    <node concept="3Aqt3T" id="67AXZ5hsPDj" role="3I6s78">
                       <ref role="3AqCNq" node="34$A1MfhdDv" resolve="typeOf" />
-                      <node concept="a7P8L" id="geDLM4SD_M" role="3AunhB">
-                        <ref role="a7OzE" node="5TXeSYSGc_e" resolve="ArrayLiteralNode" />
+                      <node concept="37jhX" id="67AXZ5hsPDk" role="3AunhB">
+                        <node concept="3A2sRY" id="67AXZ5hsPDl" role="37jj2">
+                          <ref role="3A2yKK" node="67AXZ5hsPDI" resolve="arr" />
+                        </node>
                       </node>
-                      <node concept="a7P8L" id="geDLM4SDDK" role="3AunhB">
-                        <ref role="a7OzE" node="5TXeSYSGc_b" resolve="ArrayT" />
+                      <node concept="a7P8L" id="67AXZ5hsPDm" role="3AunhB">
+                        <ref role="a7OzE" node="67AXZ5hsPDd" resolve="ArrT" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="67AXZ5hsPDn" role="3cqZAp" />
+        <node concept="1nLNNL" id="67AXZ5hsPDo" role="3cqZAp">
+          <node concept="1nLNMm" id="67AXZ5hsPDp" role="1nLNNK">
+            <node concept="3Aq93q" id="67AXZ5hsPDq" role="1nLNMb">
+              <node concept="3I6sU6" id="67AXZ5hsPDr" role="3Ip0Jz">
+                <node concept="3I6s7M" id="67AXZ5hsPDs" role="3I6sU7">
+                  <node concept="3Aqt3T" id="67AXZ5hsPDt" role="3I6s78">
+                    <ref role="3AqCNq" node="67AXZ5hmgsk" resolve="inferArrayItem" />
+                    <node concept="37jhX" id="67AXZ5hsPDu" role="3AunhB">
+                      <node concept="3A2sRY" id="67AXZ5hsPDv" role="37jj2">
+                        <ref role="3A2yKK" node="67AXZ5hsPDI" resolve="arr" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="67AXZ5hsPDw" role="3AunhB">
+                      <ref role="a7OzE" node="67AXZ5hsPDy" resolve="NonArrayT" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="67AXZ5hsPDx" role="0Rg$4">
+              <node concept="aZer4" id="67AXZ5hsPDy" role="3XD1gS">
+                <property role="TrG5h" value="NonArrayT" />
+              </node>
+              <node concept="32pEOW" id="67AXZ5hsPDz" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="67AXZ5hsPD$" role="3xSepv">
+              <node concept="3Aq9E8" id="67AXZ5hsPD_" role="3xSepj">
+                <node concept="3I6sU6" id="67AXZ5hsPDA" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="67AXZ5hsPDB" role="3I6sU7">
+                    <node concept="1lHd6T" id="67AXZ5hsPDC" role="3I6s78">
+                      <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                      <node concept="3cpWs3" id="67AXZ5hsPDD" role="1ljv2e">
+                        <node concept="Xl_RD" id="67AXZ5hsPDE" role="3uHU7B">
+                          <property role="Xl_RC" value="array type cannot be converted to " />
+                        </node>
+                        <node concept="1Ft4W6" id="67AXZ5hsPDF" role="3uHU7w">
+                          <node concept="a7P8L" id="67AXZ5hsPDG" role="1FtiSR">
+                            <ref role="a7OzE" node="67AXZ5hsPDy" resolve="NonArrayT" />
+                          </node>
+                        </node>
                       </node>
                     </node>
                   </node>
@@ -33554,35 +33377,23 @@
           </node>
         </node>
       </node>
+      <node concept="2t___k" id="67AXZ5hsPDH" role="1nLNMg">
+        <ref role="2t_S0q" to="tpee:hiBsdKd" resolve="ArrayLiteral" />
+        <node concept="3A20r5" id="67AXZ5hsPDI" role="2t_VXX">
+          <property role="TrG5h" value="arr" />
+        </node>
+      </node>
     </node>
-    <node concept="3AqmO8" id="4gD$zlTXS1P" role="8PkJo">
-      <property role="TrG5h" value="checkArrayItem" />
-      <node concept="1zAUYm" id="4gD$zlTXS1Z" role="1zAUyy">
+    <node concept="3AqmO8" id="67AXZ5hmgsk" role="8PkJo">
+      <property role="TrG5h" value="inferArrayItem" />
+      <node concept="1zAUYm" id="67AXZ5hmgsl" role="1zAUyy">
         <property role="TrG5h" value="target" />
-        <node concept="3Tqbb2" id="3ca5Bh20R4Q" role="3gTf24" />
+        <node concept="3Tqbb2" id="67AXZ5hmgsm" role="3gTf24" />
       </node>
-      <node concept="1zAUYm" id="4gD$zlTXS21" role="1zAUyy">
+      <node concept="1zAUYm" id="67AXZ5hmgsn" role="1zAUyy">
         <property role="TrG5h" value="groundType" />
       </node>
     </node>
-    <node concept="3AqmO8" id="geDLM4SpJK" role="8PkJo">
-      <property role="TrG5h" value="arrayItem" />
-      <node concept="1zAUYm" id="geDLM4SpVq" role="1zAUyy">
-        <property role="TrG5h" value="arrayLiteral" />
-        <node concept="3Tqbb2" id="3ca5Bh20WRK" role="3gTf24" />
-      </node>
-      <node concept="1zAUYm" id="geDLM4SqaI" role="1zAUyy">
-        <property role="TrG5h" value="item" />
-        <node concept="3Tqbb2" id="3ca5Bh20Xcv" role="3gTf24" />
-      </node>
-    </node>
-    <node concept="3AqmO8" id="geDLM4Sq_H" role="8PkJo">
-      <property role="TrG5h" value="emptyLiteral" />
-      <node concept="1zAUYm" id="geDLM4SqPb" role="1zAUyy">
-        <property role="TrG5h" value="arrayLiteral" />
-        <node concept="3Tqbb2" id="3ca5Bh20W34" role="3gTf24" />
-      </node>
-    </node>
   </node>
   <node concept="AVZre" id="geDLM57Hej">
     <property role="3GE5qa" value="rule.lub" />
diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps
index 674a6c52..f794b44b 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps
@@ -7705,6 +7705,52 @@
     <node concept="3clFb_" id="Or3zaY6dH" role="jymVt">
       <property role="TrG5h" value="literals" />
       <node concept="3clFbS" id="Or3zaY6dK" role="3clF47">
+        <node concept="3cpWs8" id="67AXZ5hmapI" role="3cqZAp">
+          <node concept="3cpWsn" id="67AXZ5hmapL" role="3cpWs9">
+            <property role="TrG5h" value="err1a" />
+            <node concept="10Oyi0" id="67AXZ5hmapG" role="1tU5fm" />
+            <node concept="2BsdOp" id="67AXZ5hmavj" role="33vP2m">
+              <node concept="1U20sH" id="67AXZ5hsPfI" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="67AXZ5hmaCk" role="3cqZAp">
+          <node concept="3cpWsn" id="67AXZ5hmaCl" role="3cpWs9">
+            <property role="TrG5h" value="err1b" />
+            <node concept="10Oyi0" id="67AXZ5hmaCm" role="1tU5fm" />
+            <node concept="2BsdOp" id="67AXZ5hmaCn" role="33vP2m">
+              <node concept="3cmrfG" id="67AXZ5hmaNo" role="2BsfMF">
+                <property role="3cmrfH" value="23" />
+              </node>
+              <node concept="3cmrfG" id="67AXZ5hmaGL" role="2BsfMF">
+                <property role="3cmrfH" value="2" />
+              </node>
+              <node concept="3cmrfG" id="67AXZ5hmaL0" role="2BsfMF">
+                <property role="3cmrfH" value="3" />
+              </node>
+              <node concept="1U20sH" id="67AXZ5hsPgy" role="lGtFl">
+                <property role="1U20sK" value="error" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs8" id="67AXZ5hmfKi" role="3cqZAp">
+          <node concept="3cpWsn" id="67AXZ5hmfKo" role="3cpWs9">
+            <property role="TrG5h" value="err2a" />
+            <node concept="10Q1$e" id="67AXZ5hmfKq" role="1tU5fm">
+              <node concept="10Oyi0" id="67AXZ5hmfKs" role="10Q1$1" />
+            </node>
+            <node concept="3cmrfG" id="67AXZ5hmfVW" role="33vP2m">
+              <property role="3cmrfH" value="23" />
+            </node>
+            <node concept="1U20sH" id="67AXZ5hsPsP" role="lGtFl">
+              <property role="1U20sK" value="error" />
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="67AXZ5hm7J4" role="3cqZAp" />
         <node concept="3cpWs8" id="Or3zaY6hG" role="3cqZAp">
           <node concept="3cpWsn" id="Or3zaY6hH" role="3cpWs9">
             <property role="TrG5h" value="a1a" />