exercises on plump ordinals
refer to Taylor's book, clarify injectivity of i_Ord
Merge branch 'master' into plump

Conflicts:
	reals.tex
	references.bib
Merge pull request #637 from mikeshulman/plump

exercises on plump ordinals