[expr] integer modulus operator

If ''a'' [==] ''b'' '''%''' ''c'', then ''a'' [==] ''b'' [-] (''b'' [/] ''c'') [*] ''c''