This is an implementation of several things that are in the standard template library, and hopefully other useful things.