Reason isn't proprietary - it's essentially just a syntactical skin over OCaml to make it more appealing to JavaScript developers.

OCaml has some nice features - algebraic datatypes, complete type coverage, and pattern matching - that would be clunky to retrofit into JavaScript, hence this project.