Replace `\autoref` with `\cref` throughout.
Fix proof of theorem 7.7.4
Merge branch 'master' of github.com:HoTT/book

Conflicts:
	errata.tex    .... there was an \autoref
Merge pull request #668 from andrejbauer/master

Replace `\autoref` with `\cref` throughout.
more details in proof of 7.7.4
Merge pull request #669 from KevinQuirin/th774

Fix proof of theorem 7.7.4
fix grammar in 7.7.4
remark on the need for 0-truncation of V after 10.5.5
Merge pull request #673 from mikeshulman/0truncV

remark on the need for 0-truncation of V after 10.5.5
Added a few sentences about and a reference to "Pattern matching without K" in the notes of Chapter 1.
Fixed capital K in reference.
rephrase paragraph(s) about pattern matching in chapter 1 notes
add citation and condense paragraph about for pattern matching
Merge pull request #675 from mikeshulman/without-K

Rewritten pattern matching without K
Merge branch 'master' into colimits

Conflicts:
	errata.tex