added boost-type_index