Remove IntegerStack.

std::vector is a reasonable replacement.  Also changes representations
to be references instead of pointers to simplify memory management.