minor change
Merge branch 'master' of github.com:HoTT/book
minor changes to Mike's added introductory paragraphs about contructivity
Merge branch 'master' of github.com:HoTT/book