Priority

Closes #31 (closed)

Fix the misbehaviour of inserts with different priorities in the queue. The aim is to suppress the use the the view queue_.