Add automatic type promotion for arithmetic expressions