Types.
A type a value or the result of an operation.
A bit width of a type.
The kind of type we are looking at: either an integer kind or boolean kind.