Shl — bitwise shift left
Shl( expression , expression )
Shl : Z x Z -> Z
Shl( 2 , 1 ) = 4
Shl shifts left the leftmost expression by rightmost expression positions. This is equivalent to multiplying the leftmost expression by 2 ^ rightmost expression.
Shl( x , y ) = x * 2 ^ y