tactics: canonizer: associate sums to the left
tactics: canonizer: associate sums to the left

Needs two passes: should not. Think of interaction with distributivity
case

FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar