make hSet and hProp special cases of TruncType