Updated introduction

and a bunch of other small changes. I'm still working my way through what you wrote though.