This is an implementation of (as the name suggests!) Scheme without special forms, inspired by John Shutt's Kernel language. See
http://web.cs.wpi.edu/~jshutt/kernel.html,
http://lambda-the-ultimate.org/node/1680, and
http://fexpr.blogspot.com for more discussion, and
http://axisofeval.blogspot.com/2011/09/kernel-underground.ht... for implementations.