updated ++ and -- semantic check

- added check for type, such that ++ and -- operations can only be
performed on ints