[minor] Add Property primitive operation for integer shift right.

[mikeurbach]

This adds the integer shift right operation to the Integer Arithmetic section and list of primitive operations in the grammar. This is defined as signed arithmetic shift right, as opposed to logical shift right, using similar language to the dshr operation.