Intro to proof of strong normalisation

Rephrase intro a bit, to take into account the reshuffling we did.