Type checks for packed, constants, and raw values.