add type rules for increment and decrement