An emphasized type whose text is worked out when the message is RENDERED,not when it is made: a type still being inferred when it is reported -- aflexible literal -- reads as what it settled to by the time it is shown,as the reference's diagnostics do.
Emit s in the theme's colour for style, counting only its display width.
The escape sequences go through string_as 0 so they occupy no columns, andthe text itself is measured by TERMINAL width rather than character count --a wide glyph takes two columns.