extended-char, character, t

The type extended-char is equivalent to the type (and character (not base-char)).

The type extended-char might have no elements₄ in implementations in which all characters are of type base-char.