make hSet and hProp special cases of TruncType
Move TruncType to Basics/Trunc
Merge pull request #566 from mikeshulman/trunctype

make hSet and hProp special cases of TruncType