Lisp Scheme Part25

コンビネータの勉強がしたいんですが
(expand S)とすると
(fun x (fun y (fun z ((x z) (y z)))))
が返ってくるような関数orマクロを作ろうとしたら
実質インタプリタを作るようなもんでしょうか？
もし楽な方法(特定の処理系の拡張機能etc)等があるのであれば知りたいです