Fixed `\uhilb` macro and added `\utype` macro.
Changed typesetting of the Type category to something nicer, #159 ripe for closing.