ミニ言語の実際

Lisp/Scheme で、「Scheme:マクロの効用」ミニ言語の埋め込みや、Schemeプログラマのレベル8にあるような、「マクロで互換性レイヤ」を書く、ということについて知りたいです。

イメージしやすい既存の言語をLispに埋め込む場合（プロローグマクロとか Practical Common Lisp の HTML マクロとか）Lisperはどんなふうに考えて設計するのでしょう？以下みたいな感じでしょうか??

• 埋め込みたい言語の構文を表現するのに十分な構造と、変換ロジックを書く
• マクロ層を作って埋め込み言語を簡潔に記述できるようにする
• 最適化?

• 実際のとこ、考えて実装してるかというと怪しいｗ