types+grammar: clarifying some 32-bit bitwise info in ch2