Added type checking of arguments in arithmetic expressions