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
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.