Document std::opts.

Added an overview with a 'real' example, as well as toy implementations of all of
the traits.

Closes #9356.