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 pull request #67 from mikeshulman/hlevels

Pulled Mike's changes of HLevel -> Truncate