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

Вот-вот, морфизмы: из синтаксического (форма) в семантический (содержание), это похоже на из геометрического (форма) в алгебру/логику (содержание). Я сейчас мимо всех этих теорий-определений иду, на чистой интуиции. Чего-чего, а интуиция у меня есть :) Я думаю, что можно было бы придумать concatenated language для ISO 15926 и его templates, и редактор сделать именно для него -- и работать с ним компиляторно/интерпретаторно, как с предусматривающим множество DSL базовым подъязыком системы типов. То есть взять не python, а Factor, и реализовать как DSL-15926-7 для DSL-15926-OIM. Должно получиться крайне красиво и компактно (особенно если учесть, что функциональные языки и логические все-таки родственники, а теория категорий к функциональным языкам тяготеет).