fix int_'s typing rules (operator +, -, *, inc, dec) to handle overflow
Merge branch 'yryozo-prototype'