[RFC] Typed allocator support

Conversation seems to be winding down on this RFC and I think we’re about ready to make a final call on it.

I believe this RFC has consensus to proceed, with typed_memory_operation changing to include an argument for the schema.

If anyone disagrees or thinks there are other changes which should be called out explicitly, please speak up ASAP!