A Lisp dialect that takes to heart modern techniques of computational theory.