Writing Micro Compiler in OCaml added