[P2080R0](https://wg21.link/p2080r0) Polymorphic allocators: There is no such thing as One True Vocabulary Type (Ville Voutilainen)