[minor] Add Property primitive operation for integer multiplication.

[mikeurbach]

This adds the integer multiply operation to the Integer Arithmetic section and list of primitive operations in the grammar.