They're available to vanilla OCaml as well (given the constraints listed in the post). Add `"bsc-flags": ["-bs-super-errors"]` in your `bsconfig.json` to turn it on. If you use BuckleScript, that is.
We'll try to make it into a proper compiler plugin, but it's not trivial right now