make ocaml a typed javascript

Hi, this is a nice piece of work. Actually I am doing something that you might find interesting, I am adding a new javascript backend to ocaml https://github.com/bobzhang/ocaml/tree/master
Unlike js_of_ocaml, here I aim to produce _readable_ javascript code, the output looks very promising:
http://zhanghongbo.me/js-demo
It already support most of the language(except missing some primitives, tailcall, currying, none of them is a blocking issue).
I think ocaml has a great potential to produce javascript code as good as typescript while having a sane type system.