Simplify array_allocator; update documentation