diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
index 2e2a7224..510fdc19 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
@@ -6819,7 +6819,7 @@
                     </node>
                     <node concept="3Aqczg" id="47tET_W9xOm" role="3cqZAp">
                       <node concept="3Aqt3T" id="48ZGLP7MMOs" role="3Aqpz8">
-                        <ref role="3AqCNq" node="48ZGLP7pkwP" resolve="genHelper" />
+                        <ref role="3AqCNq" node="48ZGLP7pkwP" resolve="genTV" />
                         <node concept="a7P8L" id="48ZGLP7MMO_" role="3AunhB">
                           <ref role="a7OzE" node="48ZGLP7MMLM" resolve="G" />
                         </node>
@@ -6864,7 +6864,7 @@
               <node concept="3I6sU6" id="48ZGLP7ppvA" role="3Ip0Jz">
                 <node concept="3I6s7M" id="48ZGLP7ppvE" role="3I6sU7">
                   <node concept="3Aqt3T" id="48ZGLP7ppvD" role="3I6s78">
-                    <ref role="3AqCNq" node="48ZGLP7pkwP" resolve="genHelper" />
+                    <ref role="3AqCNq" node="48ZGLP7pkwP" resolve="genTV" />
                     <node concept="a7P8L" id="48ZGLP7ppvH" role="3AunhB">
                       <ref role="a7OzE" node="48ZGLP7ppuW" resolve="G" />
                     </node>
@@ -6995,7 +6995,7 @@
               <node concept="3I6sU6" id="48ZGLP7ppeQ" role="3Ip0Jz">
                 <node concept="3I6s7M" id="48ZGLP7ppeR" role="3I6sU7">
                   <node concept="3Aqt3T" id="48ZGLP7ppeS" role="3I6s78">
-                    <ref role="3AqCNq" node="48ZGLP7pkwP" resolve="genHelper" />
+                    <ref role="3AqCNq" node="48ZGLP7pkwP" resolve="genTV" />
                     <node concept="a7P8L" id="48ZGLP7ppeT" role="3AunhB">
                       <ref role="a7OzE" node="48ZGLP7ppeN" resolve="G" />
                     </node>
@@ -7054,7 +7054,7 @@
               <node concept="3I6sU6" id="48ZGLP7pYW6" role="3Ip0Jz">
                 <node concept="3I6s7M" id="48ZGLP7pYW7" role="3I6sU7">
                   <node concept="3Aqt3T" id="48ZGLP7pYW8" role="3I6s78">
-                    <ref role="3AqCNq" node="48ZGLP7pkwP" resolve="genHelper" />
+                    <ref role="3AqCNq" node="48ZGLP7pkwP" resolve="genTV" />
                     <node concept="a7P8L" id="48ZGLP7pYW9" role="3AunhB">
                       <ref role="a7OzE" node="48ZGLP7pYW2" resolve="G" />
                     </node>
@@ -10588,7 +10588,7 @@
         </node>
         <node concept="1mebxG" id="47tET_W7Kcf" role="3cqZAp">
           <node concept="37vLTw" id="47tET_W7N$Y" role="1mebXD">
-            <ref role="3cqZAo" node="47tET_W7Mhc" />
+            <ref role="3cqZAo" node="47tET_W7Mhc" resolve="inst" />
           </node>
         </node>
         <node concept="3clFbH" id="47tET_W7L2T" role="3cqZAp" />