Add fold2_exn

cf issue #3