add sublist example. rework type signatures on accumulate example