bitwise

sshift:=
expressions | ssum
expressions | sshift << ssumshl
expressions | sshift >> ssumshr
sband:=
expressions | sshift
expressions | sband \& sshiftband
sbxor:=
expressions | sband
expressions | sbxor \^ sbandbor
sbor:=
expressions | sbxor
expressions | sbor \| sbxorbxor