Finished the arithmetic expressions semantic