Interpreter for a Multi-Threaded programming language written in OCaml