Add map (fixes #1)
Minor improvement to the documentation
Add [map] function.
Document the function [map].
Label more arguments

Unfortunately this is not completely backward compatible for
polymorphic "fold" functions.