Refactoring in detail array_deleter before adding support for special-casing trivially default-constructible construction and trivially destroyable destruction.