Added empty(), destructor, and isEmpty()