finished arith typchecking funcitons