Definition of negation and inequality.

I hope I put these in the correct spot. Negation has to come early on
because it is already used in Exercise 1.11.
details
Prevent unfortunate line break
Merge branch 'master' of github.com:HoTT/book