Lisp implementation in Standard ML