Mutable Leaderboard with K-th Highest Score

Implement a mutable leaderboard supporting score updates, user removal, and lookup of the current k-th highest score.

k is fixed at initialization. Each user has at most one active score. Adding an...