[P2719R0](https://wg21.link/p2719r0) Type-aware allocation and deallocation functions (Louis Dionne, Oliver Hunt)