Minor suggestions: reword sentences, clarify some explanations

I took the liberty to reword and clarify some things which were non-obvious to me on first reading or which I think could be explained a bit more for students who are, say, new to lambda calculus.

@Jazzpirate I'd be grateful if you could proof-read one sentence (see diff discussion below), whose correctness I am not sure about.