A simple lisp interpreter in OCaml