alignment: Specify trait definitions within the allocator

Allows containers and other data structures to consider optimizations
based off of them. We satisfy all of these requirements anyways.