Fine grained linguistic abstraction in Lisp

Incremental extension of the language
- The functional paradigm is well-suited because application of functions can be nested into each other
- The definitions of the functions implement the language
- A possible approach:
  - the inner functions are more or less self evaluating
  - the outermost function is responsible for the realization of the language