Add an example for an existing type-trait.

Add that the "promote" type trait already exists in Boost.  Correctly
mark an addition as such.