Interpreter for a simple lisp in OCaml.