Proposed resolution:
This wording is relative to N4700 + P0767R1.
Change in [support.types.layout] paragraph 5:
The type max_align_t is a trivial standard-layout type whose alignment requirement is at least as great as that of every scalar type, and whose alignment requirement is supported in every context ([basic.align]).
Change the table in [meta.trans.other] as indicated:
aligned_storage
The member typedef type shall be a trivial standard-layout
type suitable for use as uninitialized storage for any object whose size is at
most Len and whose alignment is a divisor of Align.
aligned_union
The member typedef type shall be a trivial standard-layout
type suitable for use as uninitialized storage for any object whose type is listed
in Types; its size shall be at least Len.
Change [strings.general] paragraph 1 as indicated:
This Clause describes components for manipulating sequences of any non-array trivial standard-layout ([basic.types]) type. Such types are called char-like types, and objects of char-like types are called char-like objects or simply characters.