Refactor the allocator construction, making the interface more high-level and adding more checks when FRUIT_EXTRA_DEBUG is enabled.
Keep track of what bindings need an allocation, to reduce the space estimate for the fixed-size allocator.