Make labeled_{predecessor,successors} return typed labels

For untyped labels, the previous behavior is implemented by untyped_labeled_{predecessor,successors}