Highlight applies syntax highlighting to s using the provided styles.
Highlighting is best-effort: if the lexer does not round-trip the input
exactly, s is returned unchanged to preserve the caller's formatting.
Returns s unchanged when styles is nil.