Correct equality operators in array_allocator