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

Ну, я согласен, что проблему без введения какого-то модульного языка не решишь. К тому же монопарадигмальное решение (да еще такое экзотическое, как логика-на-макросах) будет всегда коряво в современном де-факто мультипарадигмальном мире. Нужно таки довести эту линию с мэппингом до логического завершения, но одной извилиной всё-таки думать о том, как нотационно поддерживать онтолеты/OIM/микротеории и прочую модульность -- понимаемую в языко-ориентированном подходе как модульность языка. Projectional editors vs OMeta-стиля, и далее со всеми остановками на интерактивном программировании и "непрограммерском программировании силами экспертов"...