これ、読むと少しはモチベイション上がるんじゃねえ?

Syntactic Abstraction in Scheme
http://www.cs.indiana.edu/~dyb/pubs/LaSC-5-4-pp295-326.pdf

まあ、俺もこの形がベストなのかどうか良くわかんないんだが…
もっとすっきりしたプリミティブに分解できないものか。