rename 'the computational behavior of type formers' to 'the higher groupoid structure of type formers' because that's what the section says it is about
Merge branch 'master' of github.com:HoTT/book