Updates (TypeIndex and launch)

In line with the last Boost.TypeIndex (typeind::type_index) and some
simplification on launch.hpp