difference structures - normalize sum expressions