stricter rules for bitwise operand types