Declare precategory_id_comp to take values in UU

Unfortunately, total2, and hence dirprod, take values in
Type, and thus certain uses of "destruct" don't work
because UU and Type don't match.

A better fix would be to declare total2 to take values
in UU, but that breaks some coercions, because UU is
not a "SortClass".