Short explanation:

It combines reflection over the given struct and its members with

  std::meta::define_aggregate

from P2996 to metaprogrammatically define (reify) the derived new member types for the unaligned version.

For the full solution with arbitrary std::unaligned / std::optional / ..., better support for universal template parameters would probably be needed (which is in the works)