type_traits : extentとrankを追加