close #271
Change several - to \nameless
Found more missing periods in displayed formulas
Merge branch 'master' of github.com:HoTT/book

Conflicts:
	equivalences.tex