extended `AllocCore` impl sketch with support for zero-sized types.