We now wrap the set of unwinding points within a block in a newtype to
mark the fact that they must be sorted by the order that the labels
occur in the block. Moreover, we fix an oversight in the
previous design where unwind information would be duplicated while
propagating unwinding information from predecessor blocks.