OCaml 5 performance

[gadmm]

This is very interesting.

For the second post, I’d like to point out the theoretical unevenly-paced-domains-cause-lots-of-premature-collections problem, for which concrete benchmarks would be useful (see KC’s comment here).