Rewriting Micro Compiler in OCaml added