We may want to change all the elements of a given list by applying to
them a function. This is called a map operation, not to be confused
with the map data structure. The predefined functional iterator
implementing the mapped operation over lists is called
is used as follows.
See predefined namespace List.