Traits for conversions between types.
Used to do value-to-value conversions.
Used to attempt to do value-to-value conversions.