diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps
index d4053571..cd1b2412 100644
--- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps
+++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps
@@ -14827,7 +14827,7 @@
     <property role="TrG5h" value="constraint_statement" />
     <node concept="3aamgX" id="18kNIl1Ns$b" role="3aUrZf">
       <property role="36QftV" value="true" />
-      <ref role="30HIoZ" to="wq2x:18kNIl0jL2T" resolve="AsTypeConstraint" />
+      <ref role="30HIoZ" to="wq2x:18kNIl0jL2T" resolve="AsTypePseudoConstraint" />
       <node concept="1Koe21" id="18kNIl1NjF1" role="1lVwrX">
         <node concept="3clFb_" id="18kNIl1NjF7" role="1Koe22">
           <property role="TrG5h" value="method" />
diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps
index 2556fba8..fb71d017 100644
--- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps
+++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps
@@ -1555,8 +1555,8 @@
         <ref role="1k5W1q" to="tpen:hFCSUmN" resolve="RightParen" />
       </node>
       <node concept="3F0ifn" id="2E5lcNn02i2" role="3EZMnx">
-        <property role="3F0ifm" value="=" />
-        <ref role="1k5W1q" to="tpen:hF$iUjy" resolve="Operator" />
+        <property role="3F0ifm" value="is" />
+        <ref role="1k5W1q" node="4aJUH_hW38r" resolve="RuleKeyword" />
       </node>
       <node concept="3F1sOY" id="2E5lcNn03LN" role="3EZMnx">
         <ref role="1NtTu8" to="wq2x:2E5lcNn03mK" resolve="assignedType" />
@@ -3794,7 +3794,7 @@
   </node>
   <node concept="24kQdi" id="18kNIl0jL7w">
     <property role="3GE5qa" value="constraint.typespecific" />
-    <ref role="1XX52x" to="wq2x:18kNIl0jL2T" resolve="AsTypeConstraint" />
+    <ref role="1XX52x" to="wq2x:18kNIl0jL2T" resolve="AsTypePseudoConstraint" />
     <node concept="3EZMnI" id="18kNIl0jL7y" role="2wV5jI">
       <node concept="3F1sOY" id="18kNIl0jL7z" role="3EZMnx">
         <ref role="1NtTu8" to="wq2x:18kNIl0jL_z" resolve="typeVar" />
diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps
index 4d0822f5..e08f35a7 100644
--- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps
+++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps
@@ -866,7 +866,7 @@
   <node concept="1TIwiD" id="18kNIl0jL2T">
     <property role="EcuMT" value="1302893676238672057" />
     <property role="3GE5qa" value="constraint.typespecific" />
-    <property role="TrG5h" value="AsTypeConstraint" />
+    <property role="TrG5h" value="AsTypePseudoConstraint" />
     <property role="34LRSv" value="as type" />
     <ref role="1TJDcQ" node="18kNIl0mxXI" resolve="PseudoConstraint" />
     <node concept="1TJgyj" id="18kNIl0jL_z" role="1TKVEi">