type_traits : conditional, underlying_typeを追加
type_traits : extentとrankを追加
addressof：表現調整