add types::upper_bound_index meta-function