Make labeled_{predecessor,successors} return typed labels
For untyped labels, the previous behavior is implemented by untyped_labeled_{predecessor,successors}
Edited by vlorentz
Staging instance, all changes can be removed at any time
For untyped labels, the previous behavior is implemented by untyped_labeled_{predecessor,successors}