Some amends to introduction

A few small re-writes in the introduction. I've left a couple of notes
in bold where I wasn't sure.

Also: a small change in the section on Montague semantics.