Unified naming conventions for types in Appendix B with those of the main text
Renamed UF to Univalent Foundations, as it was only used at the very end of the book
Changing what I think is weird grammar
pointless reformatting
Reference for Knuth's novel
Structure of Cauchy reals
Merge branch 'master' of github.com:HoTT/book

Conflicts:
	formal.tex
	reals.tex