map f s is the set obtained by applying
f to each element of s.
It's worth noting that the size of the result may be smaller if, for
some (x,y), x /= y && f x == f y
A utility for renaming uniques in CLabels to produce deterministic
object. Note that not all Uniques are mapped over. Only those that can
be safely alpha renamed, e.g. uniques of local symbols, but not of
external ones. See Note [Renaming uniques deterministically].
Function mapGraphBlocks enables a change of representation of
blocks, nodes, or both. It lifts a polymorphic block transform into a
polymorphic graph transform. When the block representation stabilizes,
a similar function should be provided for blocks.