added map( <function>, <set> ) = <set>

Since functions aren't type I don't think there's any way to automatically update the type.

f: T1 -> T2
map( f, Set{T1} ) = Set{Any} (actual)
map( f, Set{T1} ) = Set{T2}   (desirable)