AUTOMATIC TYPE PROMOTION IN EXPRESSIONS