Merge branch 'record'
Merge branch 'master' of github.com:HoTT/HoTT
Merge branch 'master' of github.com:HoTT/HoTT
Merge branch 'master' of github.com:HoTT/HoTT
HLevel as a typeclass, corrected numbering
Change "h-level" to "truncated"
Say "truncation" in comments too
Forgot to change filename in HoTT.v
And really do that.
Merge branch 'master' of github.com:HoTT/HoTT
Use "instantiate" in Record.v instead of a NOOP match
Merge pull request #67 from mikeshulman/hlevels

Pulled Mike's changes of HLevel -> Truncate
a couple of comments
Use == notation in FunextVarieties
Merge branch 'master' of github.com:HoTT/HoTT
Merge pull request #68 from mikeshulman/master

a few small things
Merge branch 'master' of https://github.com/HoTT/HoTT