Add documentation note that Ada does not allow bitwise operations on signed integer types

[mborland]

We could always throw a category error when used or static_assert