Traits that check whether a type models concept ComposableAllocator.
It must be a RawAllocator and either provide the necessary functions for the default traits specialization or has specialized it.