S式をアルゴル風な式に置き換えればいい。
Listじゃなくて演算子が式と式を結ぶ構文木を扱えばいい。
Consにタグが付いただけだからそんな複雑じゃなくてすむ。
コンパイルタイムではJavaScriptっぽい言語で式をいじればいいだけさ。