Add almost complete Haskell interpreter, and in-progess OCaml interpreter