Require explicit conversion from allocators.
(Not what it says in the draft standard, but I think that might be a defect).