Value Conversion

This section covers conversions between types.

FOL distinguishes:

• coercion: conversions considered safe and unambiguous
• casting: conversions that should be explicit in source