diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps
index 65a118fc..58010ff9 100644
--- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps
+++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps
@@ -226,10 +226,6 @@
         <child id="8908809128801952514" name="body" index="3unh6L" />
       </concept>
       <concept id="4992889260816483106" name="jetbrains.mps.lang.coderules.structure.Condition" flags="ng" index="cBwPQ" />
-      <concept id="6958395097955138" name="jetbrains.mps.lang.coderules.structure.SNodeReportOperation" flags="ng" index="2s7oft">
-        <property id="6958395097963305" name="kind" index="2s7ueQ" />
-        <child id="6958395097963208" name="text" index="2s7u9n" />
-      </concept>
       <concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
         <reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
         <child id="6691972578451986151" name="input" index="2t_VXX" />
@@ -254,6 +250,10 @@
         <child id="3923391191348208865" name="replacement" index="1lh$Hx" />
         <child id="3923391191348208868" name="pattern" index="1lh$H$" />
       </concept>
+      <concept id="4957570047283823112" name="jetbrains.mps.lang.coderules.structure.ProvideFeedbackConstraint" flags="ng" index="1lHd6T">
+        <property id="4957570047283824112" name="severity" index="1lHdp1" />
+        <child id="4957570047284421439" name="message" index="1ljv2e" />
+      </concept>
       <concept id="3575255234174969639" name="jetbrains.mps.lang.coderules.structure.ConstraintRule" flags="ng" index="1nLNMm">
         <child id="8456919074565751439" name="parameter" index="0UC6o" />
         <child id="3575255234174969659" name="guard" index="1nLNMa" />
@@ -1094,6 +1094,7 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbH" id="1laj_RSf1Vk" role="3cqZAp" />
         <node concept="1nLNNL" id="6$MtiK8GZNs" role="3cqZAp">
           <node concept="1nLNMm" id="6$MtiK8GZNt" role="1nLNNK">
             <node concept="0eUR_" id="3dsgZciwak1" role="0UC6o">
@@ -1310,18 +1311,11 @@
             </node>
             <node concept="3Aq9E8" id="2CF5XF5v8Pa" role="1nLNMd">
               <node concept="3I6sU6" id="2CF5XF5v8Pb" role="3Ip0Jz">
-                <node concept="3I6s7M" id="3dsgZcixPye" role="3I6sU7">
-                  <node concept="3wWvb2" id="3dsgZcixPyc" role="3I6s78">
-                    <node concept="2OqwBi" id="3dsgZcixPUk" role="3wWo3s">
-                      <node concept="2s7oft" id="3dsgZcixQbH" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFm/error" />
-                        <node concept="Xl_RD" id="3dsgZcixQc7" role="2s7u9n">
-                          <property role="Xl_RC" value="replacement is not OK" />
-                        </node>
-                      </node>
-                      <node concept="3A2sRY" id="3dsgZcixQJL" role="2Oq$k0">
-                        <ref role="3A2yKK" node="3w0n0hzm3em" resolve="eqe" />
-                      </node>
+                <node concept="3I6s7M" id="1laj_RSf1T5" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RSf1T4" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                    <node concept="Xl_RD" id="1laj_RSf21x" role="1ljv2e">
+                      <property role="Xl_RC" value="replacement is not OK" />
                     </node>
                   </node>
                 </node>
@@ -2097,18 +2091,11 @@
             </node>
             <node concept="3Aq9E8" id="3w0n0hznw_c" role="1nLNMd">
               <node concept="3I6sU6" id="3w0n0hznw_d" role="3Ip0Jz">
-                <node concept="3I6s7M" id="3dsgZcixT1Z" role="3I6sU7">
-                  <node concept="3wWvb2" id="3dsgZcixT20" role="3I6s78">
-                    <node concept="2OqwBi" id="3dsgZcixT21" role="3wWo3s">
-                      <node concept="2s7oft" id="3dsgZcixT22" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFm/error" />
-                        <node concept="Xl_RD" id="3dsgZcixT23" role="2s7u9n">
-                          <property role="Xl_RC" value="replacement is not OK" />
-                        </node>
-                      </node>
-                      <node concept="3A2sRY" id="3dsgZcixT24" role="2Oq$k0">
-                        <ref role="3A2yKK" node="3w0n0hznw$J" resolve="eqe" />
-                      </node>
+                <node concept="3I6s7M" id="1laj_RSf2K9" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RSf2K8" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                    <node concept="Xl_RD" id="1laj_RSf2Ki" role="1ljv2e">
+                      <property role="Xl_RC" value="replacement is not OK" />
                     </node>
                   </node>
                 </node>
diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps
index 7f60efcb..b05d4fde 100644
--- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps
+++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps
@@ -315,10 +315,6 @@
         <child id="8908809128801952514" name="body" index="3unh6L" />
       </concept>
       <concept id="4992889260816483106" name="jetbrains.mps.lang.coderules.structure.Condition" flags="ng" index="cBwPQ" />
-      <concept id="6958395097955138" name="jetbrains.mps.lang.coderules.structure.SNodeReportOperation" flags="ng" index="2s7oft">
-        <property id="6958395097963305" name="kind" index="2s7ueQ" />
-        <child id="6958395097963208" name="text" index="2s7u9n" />
-      </concept>
       <concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
         <reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
         <child id="6691972578451986151" name="input" index="2t_VXX" />
@@ -343,6 +339,10 @@
         <child id="3923391191348208865" name="replacement" index="1lh$Hx" />
         <child id="3923391191348208868" name="pattern" index="1lh$H$" />
       </concept>
+      <concept id="4957570047283823112" name="jetbrains.mps.lang.coderules.structure.ProvideFeedbackConstraint" flags="ng" index="1lHd6T">
+        <property id="4957570047283824112" name="severity" index="1lHdp1" />
+        <child id="4957570047284421439" name="message" index="1ljv2e" />
+      </concept>
       <concept id="3575255234174969639" name="jetbrains.mps.lang.coderules.structure.ConstraintRule" flags="ng" index="1nLNMm">
         <child id="8456919074565751439" name="parameter" index="0UC6o" />
         <child id="3575255234174969659" name="guard" index="1nLNMa" />
@@ -1259,6 +1259,7 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbH" id="1laj_RSfiUf" role="3cqZAp" />
         <node concept="1nLNNL" id="6$MtiK8H0qz" role="3cqZAp">
           <node concept="1nLNMm" id="6$MtiK8H0q$" role="1nLNNK">
             <node concept="0eUR_" id="3dsgZciwakT" role="0UC6o">
@@ -1394,18 +1395,11 @@
             </node>
             <node concept="3Aq9E8" id="2CF5XF5tgIy" role="1nLNMd">
               <node concept="3I6sU6" id="2CF5XF5tgIz" role="3Ip0Jz">
-                <node concept="3I6s7M" id="3dsgZcixU3v" role="3I6sU7">
-                  <node concept="3wWvb2" id="3dsgZcixU3w" role="3I6s78">
-                    <node concept="2OqwBi" id="3dsgZcixU3x" role="3wWo3s">
-                      <node concept="2s7oft" id="3dsgZcixU3y" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFm/error" />
-                        <node concept="Xl_RD" id="3dsgZcixU3z" role="2s7u9n">
-                          <property role="Xl_RC" value="variable is not OK" />
-                        </node>
-                      </node>
-                      <node concept="3A2sRY" id="3dsgZcixU4f" role="2Oq$k0">
-                        <ref role="3A2yKK" node="Vo$tzLEGtN" resolve="fi" />
-                      </node>
+                <node concept="3I6s7M" id="1laj_RSfqT9" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RSfqT8" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                    <node concept="Xl_RD" id="1laj_RSfqTi" role="1ljv2e">
+                      <property role="Xl_RC" value="variable is not OK" />
                     </node>
                   </node>
                 </node>
@@ -1949,6 +1943,7 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbH" id="1laj_RSfrGB" role="3cqZAp" />
         <node concept="1nLNNL" id="6$MtiK8H0qF" role="3cqZAp">
           <node concept="1nLNMm" id="6$MtiK8H0qG" role="1nLNNK">
             <node concept="0eUR_" id="3dsgZciwakQ" role="0UC6o">
@@ -2112,18 +2107,11 @@
             </node>
             <node concept="3Aq9E8" id="2CF5XF5v8Pa" role="1nLNMd">
               <node concept="3I6sU6" id="2CF5XF5v8Pb" role="3Ip0Jz">
-                <node concept="3I6s7M" id="3dsgZcixVeS" role="3I6sU7">
-                  <node concept="3wWvb2" id="3dsgZcixVeT" role="3I6s78">
-                    <node concept="2OqwBi" id="3dsgZcixVeU" role="3wWo3s">
-                      <node concept="2s7oft" id="3dsgZcixVeV" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFm/error" />
-                        <node concept="Xl_RD" id="3dsgZcixVeW" role="2s7u9n">
-                          <property role="Xl_RC" value="term is not OK" />
-                        </node>
-                      </node>
-                      <node concept="3A2sRY" id="3dsgZcixVfL" role="2Oq$k0">
-                        <ref role="3A2yKK" node="2oO2uzBWNhx" resolve="fe" />
-                      </node>
+                <node concept="3I6s7M" id="1laj_RSg2Xh" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RSg2Xg" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                    <node concept="Xl_RD" id="1laj_RSg4aG" role="1ljv2e">
+                      <property role="Xl_RC" value="term is not OK" />
                     </node>
                   </node>
                 </node>
@@ -2747,18 +2735,11 @@
             </node>
             <node concept="3Aq9E8" id="2cLnr$rI$M8" role="1nLNMd">
               <node concept="3I6sU6" id="2cLnr$rI$M9" role="3Ip0Jz">
-                <node concept="3I6s7M" id="3dsgZcixPye" role="3I6sU7">
-                  <node concept="3wWvb2" id="3dsgZcixPyc" role="3I6s78">
-                    <node concept="2OqwBi" id="3dsgZcixPUk" role="3wWo3s">
-                      <node concept="2s7oft" id="3dsgZcixQbH" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFm/error" />
-                        <node concept="Xl_RD" id="3dsgZcixRqs" role="2s7u9n">
-                          <property role="Xl_RC" value="variable is not OK" />
-                        </node>
-                      </node>
-                      <node concept="3A2sRY" id="3dsgZcixRqW" role="2Oq$k0">
-                        <ref role="3A2yKK" node="2CF5XF5q_lG" resolve="ee" />
-                      </node>
+                <node concept="3I6s7M" id="1laj_RSgnUa" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RSgnU9" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                    <node concept="Xl_RD" id="1laj_RSgnUj" role="1ljv2e">
+                      <property role="Xl_RC" value="variable is not OK" />
                     </node>
                   </node>
                 </node>
diff --git a/samples/fitch/languages/samples.fitch/models/types.mps b/samples/fitch/languages/samples.fitch/models/types.mps
index d5709595..b5017284 100644
--- a/samples/fitch/languages/samples.fitch/models/types.mps
+++ b/samples/fitch/languages/samples.fitch/models/types.mps
@@ -88,10 +88,6 @@
       <concept id="9035818301008609703" name="jetbrains.mps.lang.coderules.structure.QueryTemplate" flags="ng" index="2bWyPT">
         <child id="7871500063838282362" name="code" index="fHCRw" />
       </concept>
-      <concept id="6958395097955138" name="jetbrains.mps.lang.coderules.structure.SNodeReportOperation" flags="ng" index="2s7oft">
-        <property id="6958395097963305" name="kind" index="2s7ueQ" />
-        <child id="6958395097963208" name="text" index="2s7u9n" />
-      </concept>
       <concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
         <reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
         <child id="6691972578451986151" name="input" index="2t_VXX" />
@@ -100,6 +96,10 @@
         <child id="1980609059185345194" name="constraint" index="8PkJo" />
         <child id="3575255234175157601" name="template" index="1nK1Vg" />
       </concept>
+      <concept id="4957570047283823112" name="jetbrains.mps.lang.coderules.structure.ProvideFeedbackConstraint" flags="ng" index="1lHd6T">
+        <property id="4957570047283824112" name="severity" index="1lHdp1" />
+        <child id="4957570047284421439" name="message" index="1ljv2e" />
+      </concept>
       <concept id="3575255234174969639" name="jetbrains.mps.lang.coderules.structure.ConstraintRule" flags="ng" index="1nLNMm">
         <child id="8456919074565751439" name="parameter" index="0UC6o" />
         <child id="3575255234174969658" name="head" index="1nLNMb" />
@@ -317,18 +317,11 @@
             </node>
             <node concept="3Aq9E8" id="2YqrT$P6Q3i" role="1nLNMd">
               <node concept="3I6sU6" id="2YqrT$P6Q3j" role="3Ip0Jz">
-                <node concept="3I6s7M" id="3dsgZcixPye" role="3I6sU7">
-                  <node concept="3wWvb2" id="3dsgZcixPyc" role="3I6s78">
-                    <node concept="2OqwBi" id="3dsgZcixPUk" role="3wWo3s">
-                      <node concept="2s7oft" id="3dsgZcixQbH" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFm/error" />
-                        <node concept="Xl_RD" id="3dsgZcixQc7" role="2s7u9n">
-                          <property role="Xl_RC" value="invalid" />
-                        </node>
-                      </node>
-                      <node concept="3A2sRY" id="3dsgZcixQu7" role="2Oq$k0">
-                        <ref role="3A2yKK" node="2YqrT$P6Q3h" resolve="rsn" />
-                      </node>
+                <node concept="3I6s7M" id="1laj_RS2h1U" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RS2h1T" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                    <node concept="Xl_RD" id="1laj_RS2h23" role="1ljv2e">
+                      <property role="Xl_RC" value="invalid" />
                     </node>
                   </node>
                 </node>
@@ -440,18 +433,11 @@
             </node>
             <node concept="3Aq9E8" id="2YqrT$P7SAG" role="1nLNMd">
               <node concept="3I6sU6" id="2YqrT$P7SAH" role="3Ip0Jz">
-                <node concept="3I6s7M" id="3dsgZcixQcO" role="3I6sU7">
-                  <node concept="3wWvb2" id="3dsgZcixQcP" role="3I6s78">
-                    <node concept="2OqwBi" id="3dsgZcixQcQ" role="3wWo3s">
-                      <node concept="3A2sRY" id="3dsgZcixQvE" role="2Oq$k0">
-                        <ref role="3A2yKK" node="2YqrT$P7SAF" resolve="goal" />
-                      </node>
-                      <node concept="2s7oft" id="3dsgZcixQcU" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFm/error" />
-                        <node concept="Xl_RD" id="3dsgZcixQcV" role="2s7u9n">
-                          <property role="Xl_RC" value="invalid" />
-                        </node>
-                      </node>
+                <node concept="3I6s7M" id="1laj_RS2h2v" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RS2h2u" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                    <node concept="Xl_RD" id="1laj_RS2h2C" role="1ljv2e">
+                      <property role="Xl_RC" value="invalid" />
                     </node>
                   </node>
                 </node>
diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
index 6822d8d4..6d1f9fd8 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
@@ -421,10 +421,6 @@
         <child id="7871500063838282362" name="code" index="fHCRw" />
       </concept>
       <concept id="4992889260816483106" name="jetbrains.mps.lang.coderules.structure.Condition" flags="ng" index="cBwPQ" />
-      <concept id="6958395097955138" name="jetbrains.mps.lang.coderules.structure.SNodeReportOperation" flags="ng" index="2s7oft">
-        <property id="6958395097963305" name="kind" index="2s7ueQ" />
-        <child id="6958395097963208" name="text" index="2s7u9n" />
-      </concept>
       <concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
         <reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
         <child id="6691972578451986151" name="input" index="2t_VXX" />
@@ -460,6 +456,10 @@
         <child id="3923391191348208865" name="replacement" index="1lh$Hx" />
         <child id="3923391191348208868" name="pattern" index="1lh$H$" />
       </concept>
+      <concept id="4957570047283823112" name="jetbrains.mps.lang.coderules.structure.ProvideFeedbackConstraint" flags="ng" index="1lHd6T">
+        <property id="4957570047283824112" name="severity" index="1lHdp1" />
+        <child id="4957570047284421439" name="message" index="1ljv2e" />
+      </concept>
       <concept id="3575255234196628445" name="jetbrains.mps.lang.coderules.structure.RequireStatement" flags="ng" index="1mebxG">
         <child id="3575255234196628696" name="node" index="1mebXD" />
       </concept>
@@ -3608,33 +3608,26 @@
             </node>
             <node concept="3Aq9E8" id="N6wx6Hp2i_" role="1nLNMd">
               <node concept="3I6sU6" id="N6wx6Hp2j6" role="3Ip0Jz">
-                <node concept="3I6s7M" id="6K6UrSyIe0s" role="3I6sU7">
-                  <node concept="3wWvb2" id="6K6UrSyIe0r" role="3I6s78">
-                    <node concept="2OqwBi" id="6K6UrSyIerA" role="3wWo3s">
-                      <node concept="3A2sRY" id="6K6UrSyIeje" role="2Oq$k0">
-                        <ref role="3A2yKK" node="44a9n8ErWrh" resolve="app" />
+                <node concept="3I6s7M" id="1laj_RShlPf" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RShlPe" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                    <node concept="2YIFZM" id="1laj_RShlQy" role="1ljv2e">
+                      <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                      <ref role="37wK5l" to="wyt6:~String.format(java.lang.String,java.lang.Object...)" resolve="format" />
+                      <node concept="Xl_RD" id="1laj_RShlQz" role="37wK5m">
+                        <property role="Xl_RC" value="cannot unify '%s' and '%s'" />
                       </node>
-                      <node concept="2s7oft" id="6K6UrSyIeTu" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFm/error" />
-                        <node concept="2YIFZM" id="6K6UrSyIfsz" role="2s7u9n">
-                          <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
-                          <ref role="37wK5l" to="wyt6:~String.format(java.lang.String,java.lang.Object...)" resolve="format" />
-                          <node concept="Xl_RD" id="6K6UrSyIfs$" role="37wK5m">
-                            <property role="Xl_RC" value="cannot unify '%s' and '%s'" />
+                      <node concept="1TmgYN" id="1laj_RShlQ$" role="37wK5m">
+                        <node concept="1nq8_$" id="1laj_RShlQ_" role="1Tms7$">
+                          <node concept="a7P8L" id="1laj_RShlQA" role="1nq8_t">
+                            <ref role="a7OzE" node="44a9n8ErWrT" resolve="A" />
                           </node>
-                          <node concept="1TmgYN" id="6K6UrSyIfs_" role="37wK5m">
-                            <node concept="1nq8_$" id="6K6UrSyIfsA" role="1Tms7$">
-                              <node concept="a7P8L" id="47xL5G3x5b9" role="1nq8_t">
-                                <ref role="a7OzE" node="44a9n8ErWrT" resolve="A" />
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="1TmgYN" id="6K6UrSyIfsC" role="37wK5m">
-                            <node concept="1nq8_$" id="6K6UrSyIfsD" role="1Tms7$">
-                              <node concept="a7P8L" id="47xL5G3x5bc" role="1nq8_t">
-                                <ref role="a7OzE" node="44a9n8Es2A7" resolve="FA" />
-                              </node>
-                            </node>
+                        </node>
+                      </node>
+                      <node concept="1TmgYN" id="1laj_RShlQB" role="37wK5m">
+                        <node concept="1nq8_$" id="1laj_RShlQC" role="1Tms7$">
+                          <node concept="a7P8L" id="1laj_RShlQD" role="1nq8_t">
+                            <ref role="a7OzE" node="44a9n8Es2A7" resolve="FA" />
                           </node>
                         </node>
                       </node>
@@ -3814,18 +3807,11 @@
             </node>
             <node concept="3Aq9E8" id="6_p$mL23rks" role="1nLNMd">
               <node concept="3I6sU6" id="6_p$mL23rkt" role="3Ip0Jz">
-                <node concept="3I6s7M" id="6K6UrSyIfPv" role="3I6sU7">
-                  <node concept="3wWvb2" id="6K6UrSyIfPt" role="3I6s78">
-                    <node concept="2OqwBi" id="6K6UrSyIfY9" role="3wWo3s">
-                      <node concept="3A2sRY" id="6K6UrSyIfPL" role="2Oq$k0">
-                        <ref role="3A2yKK" node="6_p$mL23fzC" resolve="ite" />
-                      </node>
-                      <node concept="2s7oft" id="6K6UrSyIgs7" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFm/error" />
-                        <node concept="Xl_RD" id="6K6UrSyIgtz" role="2s7u9n">
-                          <property role="Xl_RC" value="mismatched type" />
-                        </node>
-                      </node>
+                <node concept="3I6s7M" id="1laj_RSgL8H" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RSgL8G" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                    <node concept="Xl_RD" id="1laj_RSgL8Q" role="1ljv2e">
+                      <property role="Xl_RC" value="mismatched type" />
                     </node>
                   </node>
                 </node>
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 b10e5402..0e8f8ee7 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
@@ -687,6 +687,10 @@
       <concept id="4957570047287105024" name="jetbrains.mps.lang.coderules.structure.FailConstraint" flags="ng" index="1lpGmL">
         <child id="4957570047287138243" name="message" index="1lp$hM" />
       </concept>
+      <concept id="4957570047283823112" name="jetbrains.mps.lang.coderules.structure.ProvideFeedbackConstraint" flags="ng" index="1lHd6T">
+        <property id="4957570047283824112" name="severity" index="1lHdp1" />
+        <child id="4957570047284421439" name="message" index="1ljv2e" />
+      </concept>
       <concept id="3575255234196628445" name="jetbrains.mps.lang.coderules.structure.RequireStatement" flags="ng" index="1mebxG">
         <child id="3575255234196628696" name="node" index="1mebXD" />
       </concept>
@@ -5539,18 +5543,11 @@
             </node>
             <node concept="3Aq9E8" id="5moyjRHx6NJ" role="1nLNMd">
               <node concept="3I6sU6" id="5moyjRHx6NK" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5moyjRHx6Ob" role="3I6sU7">
-                  <node concept="3wWvb2" id="5moyjRHx6Oa" role="3I6s78">
-                    <node concept="2OqwBi" id="5moyjRHxfO4" role="3wWo3s">
-                      <node concept="3A2sRY" id="5moyjRHxfFK" role="2Oq$k0">
-                        <ref role="3A2yKK" node="3m6K8XLd3xH" resolve="dcc" />
-                      </node>
-                      <node concept="2s7oft" id="5moyjRHxg57" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFm/error" />
-                        <node concept="Xl_RD" id="5moyjRHxg5d" role="2s7u9n">
-                          <property role="Xl_RC" value="malformed type" />
-                        </node>
-                      </node>
+                <node concept="3I6s7M" id="1laj_RSlBKi" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RSlBKh" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                    <node concept="Xl_RD" id="1laj_RSlBKr" role="1ljv2e">
+                      <property role="Xl_RC" value="malformed type" />
                     </node>
                   </node>
                 </node>
@@ -6023,18 +6020,11 @@
             </node>
             <node concept="3Aq9E8" id="70Wv0dIXIOr" role="1nLNMd">
               <node concept="3I6sU6" id="70Wv0dIXIOs" role="3Ip0Jz">
-                <node concept="3I6s7M" id="70Wv0dIXIOR" role="3I6sU7">
-                  <node concept="3wWvb2" id="70Wv0dIXIOQ" role="3I6s78">
-                    <node concept="2OqwBi" id="70Wv0dIXJdo" role="3wWo3s">
-                      <node concept="3A2sRY" id="70Wv0dIXIOU" role="2Oq$k0">
-                        <ref role="3A2yKK" node="70Wv0dIXgif" resolve="anonCls" />
-                      </node>
-                      <node concept="2s7oft" id="70Wv0dIXKMd" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFm/error" />
-                        <node concept="Xl_RD" id="70Wv0dIXKMj" role="2s7u9n">
-                          <property role="Xl_RC" value="malformed type" />
-                        </node>
-                      </node>
+                <node concept="3I6s7M" id="1laj_RSlC9Y" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RSlC9X" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0n_/ERROR" />
+                    <node concept="Xl_RD" id="1laj_RSlCa7" role="1ljv2e">
+                      <property role="Xl_RC" value="malformed type" />
                     </node>
                   </node>
                 </node>
@@ -19659,18 +19649,11 @@
             </node>
             <node concept="3Aq9E8" id="35YJGAJTUlt" role="1nLNMd">
               <node concept="3I6sU6" id="35YJGAJTUlu" role="3Ip0Jz">
-                <node concept="3I6s7M" id="35YJGAJTVyR" role="3I6sU7">
-                  <node concept="3wWvb2" id="35YJGAJTVyS" role="3I6s78">
-                    <node concept="2OqwBi" id="35YJGAJTVyU" role="3wWo3s">
-                      <node concept="3A2sRY" id="35YJGAJTWtJ" role="2Oq$k0">
-                        <ref role="3A2yKK" node="35YJGAJTUl$" resolve="expr" />
-                      </node>
-                      <node concept="2s7oft" id="35YJGAJTWtw" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFj/warning" />
-                        <node concept="Xl_RD" id="35YJGAJTWtA" role="2s7u9n">
-                          <property role="Xl_RC" value="expression has no type" />
-                        </node>
-                      </node>
+                <node concept="3I6s7M" id="1laj_RSjMmt" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RSjMms" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0nx/WARN" />
+                    <node concept="Xl_RD" id="1laj_RSjMmA" role="1ljv2e">
+                      <property role="Xl_RC" value="expression has no type" />
                     </node>
                   </node>
                 </node>
@@ -19721,18 +19704,11 @@
             </node>
             <node concept="3Aq9E8" id="35YJGAJTUl7" role="1nLNMd">
               <node concept="3I6sU6" id="35YJGAJTUl8" role="3Ip0Jz">
-                <node concept="3I6s7M" id="35YJGAJTWtX" role="3I6sU7">
-                  <node concept="3wWvb2" id="35YJGAJTWtY" role="3I6s78">
-                    <node concept="2OqwBi" id="35YJGAJTWtZ" role="3wWo3s">
-                      <node concept="3A2sRY" id="35YJGAJTW_r" role="2Oq$k0">
-                        <ref role="3A2yKK" node="35YJGAJTUle" resolve="op" />
-                      </node>
-                      <node concept="2s7oft" id="35YJGAJTWu1" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFj/warning" />
-                        <node concept="Xl_RD" id="35YJGAJTWu2" role="2s7u9n">
-                          <property role="Xl_RC" value="no type" />
-                        </node>
-                      </node>
+                <node concept="3I6s7M" id="1laj_RSjMmW" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RSjMmV" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0nx/WARN" />
+                    <node concept="Xl_RD" id="1laj_RSjMo4" role="1ljv2e">
+                      <property role="Xl_RC" value="no type" />
                     </node>
                   </node>
                 </node>
@@ -19783,18 +19759,11 @@
             </node>
             <node concept="3Aq9E8" id="35YJGAJTUkL" role="1nLNMd">
               <node concept="3I6sU6" id="35YJGAJTUkM" role="3Ip0Jz">
-                <node concept="3I6s7M" id="35YJGAJTW_D" role="3I6sU7">
-                  <node concept="3wWvb2" id="35YJGAJTW_E" role="3I6s78">
-                    <node concept="2OqwBi" id="35YJGAJTW_F" role="3wWo3s">
-                      <node concept="3A2sRY" id="35YJGAJTWHj" role="2Oq$k0">
-                        <ref role="3A2yKK" node="35YJGAJTUkS" resolve="vd" />
-                      </node>
-                      <node concept="2s7oft" id="35YJGAJTW_H" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFj/warning" />
-                        <node concept="Xl_RD" id="35YJGAJTW_I" role="2s7u9n">
-                          <property role="Xl_RC" value="no type" />
-                        </node>
-                      </node>
+                <node concept="3I6s7M" id="1laj_RSjMoq" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RSjMop" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0nx/WARN" />
+                    <node concept="Xl_RD" id="1laj_RSjMoz" role="1ljv2e">
+                      <property role="Xl_RC" value="no type" />
                     </node>
                   </node>
                 </node>
@@ -19845,18 +19814,11 @@
             </node>
             <node concept="3Aq9E8" id="35YJGAJTUkr" role="1nLNMd">
               <node concept="3I6sU6" id="35YJGAJTUks" role="3Ip0Jz">
-                <node concept="3I6s7M" id="35YJGAJTWHx" role="3I6sU7">
-                  <node concept="3wWvb2" id="35YJGAJTWHy" role="3I6s78">
-                    <node concept="2OqwBi" id="35YJGAJTWHz" role="3wWo3s">
-                      <node concept="3A2sRY" id="35YJGAJTWOV" role="2Oq$k0">
-                        <ref role="3A2yKK" node="35YJGAJTUky" resolve="ac" />
-                      </node>
-                      <node concept="2s7oft" id="35YJGAJTWH_" role="2OqNvi">
-                        <property role="2s7ueQ" value="oI9Ys1lFj/warning" />
-                        <node concept="Xl_RD" id="35YJGAJTWHA" role="2s7u9n">
-                          <property role="Xl_RC" value="no type" />
-                        </node>
-                      </node>
+                <node concept="3I6s7M" id="1laj_RSjMoW" role="3I6sU7">
+                  <node concept="1lHd6T" id="1laj_RSjMoV" role="3I6s78">
+                    <property role="1lHdp1" value="4jcOV4hu0nx/WARN" />
+                    <node concept="Xl_RD" id="1laj_RSjMp5" role="1ljv2e">
+                      <property role="Xl_RC" value="no type" />
                     </node>
                   </node>
                 </node>