include conclusion chapter & comment out "applications"
bit of improvement to arith prod examples
Improvements to HoTT section

* Move "why HoTT" discussion to the end
* Add a discussion of path induction