Simple binary search array indexed by a comparable.
This structure is used in the implementation of generic pattern matching and memoization of computation based on the index of a field in a record type, or a tag in a sum type.
Some benchmarks have showed that this flat structure behaves better than trees for the use case we have (allocation, lookup, memory wise, etc.).