Predicate: is the dtype a signed integer type?

Dtype::Bool is intentionally excluded — booleans are stored as 1-byte integers but have no meaningful arithmetic interpretation in the integer sense, so promotion / index validation paths should not treat them as integers.