Function Map->

Part of:

package metabang.utilities
( map-> < fn > < start > < test-fn > < succ-fn > )

Really generalized mapping.