Mini OCaml interpreter