Write a minimal Acknowledgements section
Add comment about unfold and scan+map (might be wrong)
I don't think people outside the Haskell world calls it an unfold. Not in ML world at least.