PriorityHap.insertByPriority

Insert a record before the first record with a greater priority, or append when no such record exists. Equal priorities stay in insertion order because ids are monotonic.