Compiler specs: Improce bitwise operators specs