Add BOOST_TYPEOF to stl.h