Adds a value in log(size) time. Grows unbounded as needed to accommodate new values.
the new 'top' element in the queue.