Changing the introduction to a possible fix for 'Type Extortion'

Follow-up to 366eae