List.unfold

It was slightly annoying that this function was missing so I've finally got around to adding it.
Tweaks to the doc are welcome.