category feature Added a new predicate getBitWidth to the Type class, which yields the bit-width of the type.