Variants: Expand section about coercion

[fhammerschmidt]

Expand the variant coercion section with:

• Coercing between variants (and the constraints around that)
• Why you can sometimes coerce from variant to string/int/float, and how to think about that (runtime representation must match)
• The last additions of allowing coercing strings to unboxed variants with catch-all string cases