A language implemented with LLVM and OCaml