Get unqualified types before doing anything in semantic_arithmetic().