Interpreter for symbolic LISP
