improving Type-Guided Conversions section