Add sum/1, fix fold specs