more mangling for std::allocator

This makes calling std::allocator.deallocator() work.

Interfacing with C++ templates is never going to be pretty, but it seems we can make it work.