Cosmetics.
Added priority field to tnode.
Transformed map into a treap.