added compliance with enumeration
added Naive prio queue for the start of the article
cleaned up NaivePrioQueue
removed ivar
forgot to check this in