Рефал-0 не рассматривали?
Бинарные данные можно обрабатывать. Можно разносить по Оберон-модулям (пока не опубликовано, но сами пользуем).
Описывается, фактически, не декларатив, а поведение строковой машины - т.е. отображение в императив прозрачно. Можно использовать как функциональный скрипт для связывания разных процедур, обрабатывающих текст (на чём написаны - неважно, лишь бы удовлетворяли сигнатуре - работали на двух стеках).
Ничего особенно высокоуровневого там не заложено, но как раз на интегрирующий механизм для такого фреймворка, который хотите Вы, по-моему, тянет.

Посмотрите, пожалуйста, если будут идеи - давайте общаться! У нас с ним сейчас люди работают тоже.