Implements dequeuing.
Fixes an error in which a stack's length would grow without bound.

I wanted O(1) get-length instead of O(n). Silly me.
Makes assertion messages more consistent.

Also, quietly sweeps a copy-paste bug under the rug.