1. ReanalyzeExperimental analyses for OCaml/ReScript: for globally dead values/types, exception analysis, and termination analysis.
3. GentypeAuto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.