splitting up chapter 2
Merge branch 'master' of github.com:HoTT/book
merge ordcard into setmath (getting rid of \input's)
cleaning up the split
Merge branch 'master' of github.com:HoTT/book