ProgressNotification.matches

Whether this notification's progressToken is the one carried by tok (compares against tok.toJson()), so a client can match an incoming notifications/progress to the originating request regardless of whether the token is a string or an integer.