scala-prioritymap