remove inspect.h
type_list inde_of returns "past-the-last" index (== sizeof...(Ts))
+ meta::detail::otherwise
type_list::contains
meat::boolean own header
meta::otherwise
meta::is_distinct