Artem Tikhomirov

Kolja, is there an issue in the tracker that describes this pull request?

JFTR, feedback has been provided in https://youtrack.jetbrains.com/issue/MPS-28915#focus=streamItem-27-3173930-0-0

JFTR, the patch in its present state has been rejected due to reasons outlined in https://youtrack.jetbrains.com/issue/MPS-28688#focus=streamItem-27-3174093-0-0