Comparing notions of equivalence (with some other minor changes)
some more hints for working with typeclasses
improve "make clean" and change some identifier names

  make "make clean" remove all *.vo and *.glob files, even the unknown ones

  change some identifier names to obey the convention that types are capitalized
  and objects are not.  Also change HProp, HSet, Trunc to IsHProp, IsHSet, IsTrunc.
Added notation [g o f] for composition.
Merge pull request #84 from mikeshulman/eqvar

Comparing notions of equivalence (with some other minor changes)
Merge branch 'master' of https://github.com/HoTT/HoTT
improve proof of isprop_biinv
Incorporated [g o f] notation into EquivalenceVarieties.
Merge branch 'pull-request-2' of https://github.com/DanGrayson/HoTT into upstream

Conflicts:
	theories/Equivalences.v
more capitalization
Merge branch 'upstream' into eqvar

Conflicts:
	theories/EquivalenceVarieties.v
	theories/Equivalences.v
	theories/Trunc.v