Front matter, copyright, fixed headers in preface and introduction
Religuous war about lambda notation
Dedekind reals progress
Merge branch 'master' of github.com:HoTT/book

Conflicts:
	macros.tex
	reals.tex
Lambda without ( ... )