diff --git a/build.xml b/build.xml
index e8617db9..56a9c0be 100644
--- a/build.xml
+++ b/build.xml
@@ -1605,6 +1605,7 @@
+
@@ -1618,6 +1619,7 @@
+
@@ -2893,6 +2895,7 @@
+
@@ -2906,6 +2909,7 @@
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
index 94ec19c0..bf04bf99 100644
--- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps
@@ -3856,7 +3856,34 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -4169,7 +4196,34 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules.svg b/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules.svg
new file mode 100644
index 00000000..aeb09c98
--- /dev/null
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules.svg
@@ -0,0 +1,5 @@
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff.svg b/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff.svg
new file mode 100644
index 00000000..19526796
--- /dev/null
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff.svg
@@ -0,0 +1,5 @@
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff_newui.svg b/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff_newui.svg
new file mode 100644
index 00000000..43a16b3a
--- /dev/null
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff_newui.svg
@@ -0,0 +1,5 @@
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff_newui_dark.svg b/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff_newui_dark.svg
new file mode 100644
index 00000000..40cd05c7
--- /dev/null
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRulesOff_newui_dark.svg
@@ -0,0 +1,5 @@
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules_newui.svg b/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules_newui.svg
new file mode 100644
index 00000000..0d7d92d4
--- /dev/null
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules_newui.svg
@@ -0,0 +1,5 @@
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules_newui_dark.svg b/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules_newui_dark.svg
new file mode 100644
index 00000000..817cad8d
--- /dev/null
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/icons/codeRules_newui_dark.svg
@@ -0,0 +1,5 @@
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd
index f013c23d..83395a81 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd
@@ -48,6 +48,7 @@
+
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps
index 28c97a2d..b0695556 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps
@@ -16,6 +16,7 @@
+
@@ -105,9 +106,19 @@
+
+
+
+
+
+
+
+
+
+
@@ -9166,6 +9177,33 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -9759,20 +9797,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -9868,74 +9892,8 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -9944,7 +9902,7 @@
-
+
@@ -9952,6 +9910,9 @@
+
+
+
@@ -10138,10 +10099,10 @@
-
+
-
+
@@ -10175,9 +10136,7 @@
-
-
-
+
diff --git a/gradle.properties b/gradle.properties
index 56a7d847..c95fcd92 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -1,7 +1,7 @@
org.gradle.jvmargs=-Xmx2g -XX:MaxMetaspaceSize=512m -XX:+HeapDumpOnOutOfMemoryError
org.gradle.daemon=false
org.gradle.logging.level=info
-mpsBuildConfiguration = MPS_20232_Distribution_Binaries
+mpsBuildConfiguration = MPS_20233_Distribution_Binaries
mpsBuildLabel =
-mpsBuildNumber = MPS-232.8660.663
-mpsRelease = 2023.2
+mpsBuildNumber = MPS-233.11799.814
+mpsRelease = 2023.3
diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml
index 9d8f7547..07eafe19 100644
--- a/samples/fitch/build.xml
+++ b/samples/fitch/build.xml
@@ -1084,7 +1084,7 @@
-
+
@@ -1234,7 +1234,7 @@
-
+
@@ -1385,7 +1385,7 @@
-
+
@@ -1536,7 +1536,7 @@
-
+
@@ -1692,7 +1692,7 @@
-
+
diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml
index 8401c5c7..691af888 100644
--- a/samples/lambdacalc/build.xml
+++ b/samples/lambdacalc/build.xml
@@ -483,7 +483,7 @@
-
+
@@ -566,7 +566,7 @@
-
+
diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml
index b91916c4..a3ef28f3 100644
--- a/samples/mpscore/build.xml
+++ b/samples/mpscore/build.xml
@@ -14378,7 +14378,7 @@
-
+
@@ -15053,7 +15053,7 @@
-
+
@@ -15161,7 +15161,7 @@
-
+
@@ -15268,7 +15268,7 @@
-
+
@@ -15375,7 +15375,7 @@
-
+
@@ -15475,7 +15475,7 @@
-
+
@@ -15572,7 +15572,7 @@
-
+
@@ -15669,7 +15669,7 @@
-
+