more todo
simplify placeholder_map_tuple_type
remove unneeded code
remove members_to_children_list
remove sizes_sum and impl namespace
refactor some static_asserts
move for_all to variadic sub-namespace
placeholder matchers
variadic index_of