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 8b48e07a..c959f994 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
@@ -35250,80 +35250,159 @@
                         </node>
                       </node>
                     </node>
-                    <node concept="1Dw8fO" id="3R6X$QWh1eB" role="3cqZAp">
-                      <node concept="3clFbS" id="3R6X$QWh1eC" role="2LFqv$">
-                        <node concept="3clFbJ" id="3R6X$QWh1eD" role="3cqZAp">
-                          <node concept="3clFbS" id="3R6X$QWh1eE" role="3clFbx">
-                            <node concept="3Aqczg" id="3R6X$QWh1eF" role="3cqZAp">
-                              <node concept="3A8Hvi" id="3R6X$QWh1eG" role="3Aqpz8">
-                                <node concept="a7P8L" id="3R6X$QWh1eH" role="3A8wtg">
+                    <node concept="1DcWWT" id="4Ca87cv5_8U" role="3cqZAp">
+                      <node concept="3clFbS" id="4Ca87cv5_8V" role="2LFqv$">
+                        <node concept="3clFbJ" id="4Ca87cv5CL3" role="3cqZAp">
+                          <node concept="3clFbS" id="4Ca87cv5CL5" role="3clFbx">
+                            <node concept="3Aqczg" id="4Ca87cv5D4G" role="3cqZAp">
+                              <node concept="3A8Hvi" id="4Ca87cv5D4H" role="3Aqpz8">
+                                <node concept="a7P8L" id="4Ca87cv5D4I" role="3A8wtg">
                                   <ref role="a7OzE" node="4btN1w5K1tx" resolve="TyArgs" />
-                                  <node concept="37vLTw" id="3R6X$QWh1eI" role="3gCZO6">
-                                    <ref role="3cqZAo" node="3R6X$QWh1eV" resolve="i" />
+                                  <node concept="2OqwBi" id="4Ca87cv5Dqp" role="3gCZO6">
+                                    <node concept="37vLTw" id="4Ca87cv5D7R" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="4Ca87cv5_95" resolve="tvd" />
+                                    </node>
+                                    <node concept="2bSWHS" id="4Ca87cv5DGX" role="2OqNvi" />
                                   </node>
                                 </node>
-                                <node concept="ns1u0" id="3R6X$QWh1eJ" role="3A8w4Q">
+                                <node concept="ns1u0" id="4Ca87cv5D4K" role="3A8w4Q">
                                   <ref role="ns1xF" node="JOGAOsVt3c" resolve="_null_" />
                                 </node>
                               </node>
                             </node>
                           </node>
-                          <node concept="37vLTw" id="3R6X$QWh1eK" role="3clFbw">
+                          <node concept="37vLTw" id="4Ca87cv5CLr" role="3clFbw">
                             <ref role="3cqZAo" node="3R6X$QWh1ev" resolve="allowUnchecked" />
                           </node>
-                          <node concept="9aQIb" id="3R6X$QWh1eL" role="9aQIa">
-                            <node concept="3clFbS" id="3R6X$QWh1eM" role="9aQI4">
-                              <node concept="3Aqczg" id="3R6X$QWh1eN" role="3cqZAp">
-                                <node concept="3A8Hvi" id="3R6X$QWh1eO" role="3Aqpz8">
-                                  <node concept="a7P8L" id="3R6X$QWh1eP" role="3A8wtg">
-                                    <ref role="a7OzE" node="4btN1w5K1tx" resolve="TyArgs" />
-                                    <node concept="37vLTw" id="3R6X$QWh1eQ" role="3gCZO6">
-                                      <ref role="3cqZAo" node="3R6X$QWh1eV" resolve="i" />
+                          <node concept="9aQIb" id="4Ca87cv5CL_" role="9aQIa">
+                            <node concept="3clFbS" id="4Ca87cv5CLA" role="9aQI4">
+                              <node concept="3SKdUt" id="4Q8MVs$ZLpi" role="3cqZAp">
+                                <node concept="1PaTwC" id="4Q8MVs$ZLpj" role="3ndbpf">
+                                  <node concept="3oM_SD" id="4Q8MVs$ZLpl" role="1PaTwD">
+                                    <property role="3oM_SC" value="for" />
+                                  </node>
+                                  <node concept="3oM_SD" id="4Q8MVs_3uKm" role="1PaTwD">
+                                    <property role="3oM_SC" value="a" />
+                                  </node>
+                                  <node concept="3oM_SD" id="4Q8MVs$ZLxs" role="1PaTwD">
+                                    <property role="3oM_SC" value="type" />
+                                  </node>
+                                  <node concept="3oM_SD" id="4Q8MVs$ZLyL" role="1PaTwD">
+                                    <property role="3oM_SC" value="variable" />
+                                  </node>
+                                  <node concept="3oM_SD" id="4Q8MVs$ZLAB" role="1PaTwD">
+                                    <property role="3oM_SC" value="produce" />
+                                  </node>
+                                  <node concept="3oM_SD" id="4Q8MVs$ZLsl" role="1PaTwD">
+                                    <property role="3oM_SC" value="type" />
+                                  </node>
+                                  <node concept="3oM_SD" id="4Q8MVs$ZLG9" role="1PaTwD">
+                                    <property role="3oM_SC" value="erasure" />
+                                  </node>
+                                  <node concept="3oM_SD" id="4Q8MVs$ZLHw" role="1PaTwD">
+                                    <property role="3oM_SC" value="--" />
+                                  </node>
+                                  <node concept="3oM_SD" id="4Q8MVs$ZLK8" role="1PaTwD">
+                                    <property role="3oM_SC" value="its" />
+                                  </node>
+                                  <node concept="3oM_SD" id="4Q8MVs$ZLML" role="1PaTwD">
+                                    <property role="3oM_SC" value="leftmost" />
+                                  </node>
+                                  <node concept="3oM_SD" id="4Q8MVs_3uF9" role="1PaTwD">
+                                    <property role="3oM_SC" value="bound" />
+                                  </node>
+                                </node>
+                              </node>
+                              <node concept="3X$Joe" id="4Q8MVs$ZJDT" role="3cqZAp">
+                                <node concept="aZer4" id="4Q8MVs$ZJNp" role="3XD1gS">
+                                  <property role="TrG5h" value="Bound" />
+                                </node>
+                                <node concept="32pEOW" id="4Q8MVs$ZJDW" role="3vLBG7" />
+                              </node>
+                              <node concept="3clFbJ" id="4Q8MVs_1CZi" role="3cqZAp">
+                                <node concept="3clFbS" id="4Q8MVs_1CZk" role="3clFbx">
+                                  <node concept="3Aqczg" id="4Q8MVs_1E8$" role="3cqZAp">
+                                    <node concept="1imXTs" id="4Q8MVs_1E8u" role="3Aqpz8">
+                                      <node concept="a7P8L" id="4Q8MVs_1E9U" role="1imXu6">
+                                        <ref role="a7OzE" node="4Q8MVs$ZJNp" resolve="Bound" />
+                                      </node>
+                                      <node concept="2OqwBi" id="4Q8MVs_1Edv" role="1imXSf">
+                                        <node concept="37vLTw" id="4Q8MVs_1Ebh" role="2Oq$k0">
+                                          <ref role="3cqZAo" node="4Ca87cv5_95" resolve="tvd" />
+                                        </node>
+                                        <node concept="3TrEf2" id="4Q8MVs_1EfJ" role="2OqNvi">
+                                          <ref role="3Tt5mk" to="tpee:hFztrQw" resolve="bound" />
+                                        </node>
+                                      </node>
                                     </node>
                                   </node>
-                                  <node concept="ns1u0" id="3R6X$QWh1eR" role="3A8w4Q">
-                                    <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifier" />
-                                    <node concept="nsMwS" id="3R6X$QWh1eS" role="ns1xD">
-                                      <ref role="nsMwP" node="JOGAOsVt2c" resolve="classifier" />
-                                      <node concept="2tJFMh" id="3R6X$QWh1eT" role="nsMwV">
-                                        <node concept="ZC_QK" id="3R6X$QWh1eU" role="2tJFKM">
-                                          <ref role="2aWVGs" to="wyt6:~Object" resolve="Object" />
+                                </node>
+                                <node concept="2OqwBi" id="4Q8MVs_1DHF" role="3clFbw">
+                                  <node concept="2OqwBi" id="4Q8MVs_1Dcz" role="2Oq$k0">
+                                    <node concept="37vLTw" id="4Q8MVs_1D1k" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="4Ca87cv5_95" resolve="tvd" />
+                                    </node>
+                                    <node concept="3TrEf2" id="4Q8MVs_1DoP" role="2OqNvi">
+                                      <ref role="3Tt5mk" to="tpee:hFztrQw" resolve="bound" />
+                                    </node>
+                                  </node>
+                                  <node concept="3x8VRR" id="4Q8MVs_1E32" role="2OqNvi" />
+                                </node>
+                                <node concept="9aQIb" id="4Q8MVs_1EsU" role="9aQIa">
+                                  <node concept="3clFbS" id="4Q8MVs_1EsV" role="9aQI4">
+                                    <node concept="3Aqczg" id="4Q8MVs_1E$w" role="3cqZAp">
+                                      <node concept="3A8Hvi" id="4Q8MVs_1E$x" role="3Aqpz8">
+                                        <node concept="a7P8L" id="4Q8MVs_1ECp" role="3A8wtg">
+                                          <ref role="a7OzE" node="4Q8MVs$ZJNp" resolve="Bound" />
+                                        </node>
+                                        <node concept="ns1u0" id="4Q8MVs_1E$z" role="3A8w4Q">
+                                          <ref role="ns1xF" node="JOGAOsVt2a" resolve="classifier" />
+                                          <node concept="nsMwS" id="4Q8MVs_1E$$" role="ns1xD">
+                                            <ref role="nsMwP" node="JOGAOsVt2c" resolve="classifier" />
+                                            <node concept="2tJFMh" id="4Q8MVs_1E$_" role="nsMwV">
+                                              <node concept="ZC_QK" id="4Q8MVs_1E$A" role="2tJFKM">
+                                                <ref role="2aWVGs" to="wyt6:~Object" resolve="Object" />
+                                              </node>
+                                            </node>
+                                          </node>
                                         </node>
                                       </node>
                                     </node>
                                   </node>
                                 </node>
                               </node>
+                              <node concept="3Aqczg" id="4Q8MVs$ZKtg" role="3cqZAp">
+                                <node concept="3A8Hvi" id="4Q8MVs$ZKta" role="3Aqpz8">
+                                  <node concept="a7P8L" id="4Q8MVs$ZKuZ" role="3A8wtg">
+                                    <ref role="a7OzE" node="4btN1w5K1tx" resolve="TyArgs" />
+                                    <node concept="2OqwBi" id="4Q8MVs$ZKP$" role="3gCZO6">
+                                      <node concept="37vLTw" id="4Q8MVs$ZKyV" role="2Oq$k0">
+                                        <ref role="3cqZAo" node="4Ca87cv5_95" resolve="tvd" />
+                                      </node>
+                                      <node concept="2bSWHS" id="4Q8MVs$ZL34" role="2OqNvi" />
+                                    </node>
+                                  </node>
+                                  <node concept="a7P8L" id="4Q8MVs$ZLc4" role="3A8w4Q">
+                                    <ref role="a7OzE" node="4Q8MVs$ZJNp" resolve="Bound" />
+                                  </node>
+                                </node>
+                              </node>
                             </node>
                           </node>
                         </node>
                       </node>
-                      <node concept="3cpWsn" id="3R6X$QWh1eV" role="1Duv9x">
-                        <property role="TrG5h" value="i" />
-                        <node concept="10Oyi0" id="3R6X$QWh1eW" role="1tU5fm" />
-                        <node concept="3cmrfG" id="3R6X$QWh1eX" role="33vP2m">
-                          <property role="3cmrfH" value="0" />
+                      <node concept="3cpWsn" id="4Ca87cv5_95" role="1Duv9x">
+                        <property role="TrG5h" value="tvd" />
+                        <node concept="3Tqbb2" id="4Ca87cv5_96" role="1tU5fm">
+                          <ref role="ehGHo" to="tpee:g96euPO" resolve="TypeVariableDeclaration" />
                         </node>
                       </node>
-                      <node concept="3eOVzh" id="3R6X$QWh1eY" role="1Dwp0S">
-                        <node concept="2OqwBi" id="3R6X$QWh1eZ" role="3uHU7w">
-                          <node concept="2OqwBi" id="3R6X$QWh1f0" role="2Oq$k0">
-                            <node concept="3tDTZT" id="3R6X$QWh1f1" role="2Oq$k0">
-                              <ref role="3tDTNw" node="4btN1w5K2NJ" resolve="cls" />
-                            </node>
-                            <node concept="3Tsc0h" id="3R6X$QWh1f2" role="2OqNvi">
-                              <ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
-                            </node>
-                          </node>
-                          <node concept="34oBXx" id="3R6X$QWh1f3" role="2OqNvi" />
+                      <node concept="2OqwBi" id="4Ca87cv5_97" role="1DdaDG">
+                        <node concept="3tDTZT" id="4Ca87cv5_98" role="2Oq$k0">
+                          <ref role="3tDTNw" node="4btN1w5K2NJ" resolve="cls" />
                         </node>
-                        <node concept="37vLTw" id="3R6X$QWh1f4" role="3uHU7B">
-                          <ref role="3cqZAo" node="3R6X$QWh1eV" resolve="i" />
-                        </node>
-                      </node>
-                      <node concept="3uNrnE" id="3R6X$QWh1f5" role="1Dwrff">
-                        <node concept="37vLTw" id="3R6X$QWh1f6" role="2$L3a6">
-                          <ref role="3cqZAo" node="3R6X$QWh1eV" resolve="i" />
+                        <node concept="3Tsc0h" id="4Ca87cv5_99" role="2OqNvi">
+                          <ref role="3TtcxE" to="tpee:g96eVAe" resolve="typeVariableDeclaration" />
                         </node>
                       </node>
                     </node>