added list_fold to reduce lists of arbitrary objects, fixed export and
documentation on corner