Без заголовка

Так оно особенно никуда не девается. Либо оно приходит из целевого языка, в который транслируется, либо все равно надо писать самому. Я на MPS давно не смотрел - но вопрос - реализовать тот же ML (хотя бы ядро, или F#) на нем получится? ML реализовать можно. Возможно будут некоторые проблемы с типами (в нашем движке сейчас не поддерживается let полиморфизм, потому что он нигде не был нужен). imho MPS тут даст очень мало. Чем он, например, с анализом типов поможет? Вряд ли будет проще написания еще одного плагина для идеи или eclipse. Для анализа типов у нас есть, кстати специальный язык. Задаются типовые уравнения и неравенства, которые потом решаются. В идее и eclipse такого нет (в Еclipse, кстати, вообще нет никакого нормального API для разработки языков, как в идее, хотя какие-то попытки у них предпринимались. Практически все что касается языков приходится писать заново).