そ、それは、凄く核心的。
いわば、コンパイラ・インタプリタで動的に文法変えられるパーサライブラリですね。
リードマクロ発動を含む基本となる文法を定義してあとはインタプリタは知らせればＯＫ
ってあれば、いいなぁ。

再帰下降でちょちょって書いたパーサなら各文法の関数呼び出し部分を
関数ポインタを介して呼び出すようにしておいて、フックできたら、似たようなことできるかなぁ。