minor fixes to Dan L's recent rewrite of chapter:
   spelling, punctuation
   an element of a singleton type is not a singleton
   when using topological terminology, use it consistently
   "disequal"
Merge branch 'master' of github.com:HoTT/book