Add queue::size(). Make queue::empty() and queue::get_tail() const. Add some comments.