A lisp implemented as multiple application of a pure function