better sum? expression
merge sec2.3.3
review problems 2.59-2.64: set, ordered set, and tree