Lisp implementation in Eiffel