Lean has *three* kinds of string literals

[kim-em]

Lean has two kinds of string literals: ordinary string literals and raw string literals.

should be

Lean has three kinds of string literals: ordinary string literals, raw string literals, and interpolated string literals.

While at it, I'd prefer raws to come after interpolated, as they are less often useful.