Add type checks for booleans.
Type checks for packed, constants, and raw values.