Integrate Benja's edits

Mostly changes to the introduction, but includes some minor typo fixes.