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
Merge branch 'master' of github.com:HoTT/HoTT