Create a fixed size bitvector type.

Partial views for types. These are used in the bitv theory to check invariant on indexes of bitv operations (e.g. check that the indexes of an extract do not go out of bounds).

Partial view of a type.