fix type-problem of pair (needed when move semantics are involved) and add a NotificationList type to simplify things