Remove EXPTIME paragraph in 2.1.2.

Its overkill/duplicates arguments made for TEMP
Rewrite of the last 3 para (or so) of 2.1.2

Try to simplify examples, unify the argument and generally clean
up the wording.
Replace utilize with use
fundemental -> fundamental sp fix