Update intro.md - typos, repetition removals.

Update intro.md - fixing some typos and removing some repetitions. And some other minor textual changes/improvements.