{Jane Street Capital's standard library overlay}

WWW: https://github.com/janestreet/core_extended
