Jane Street Capital's standard library overlay (kernel)