+type_list_n_nocheck
+accumulate
same_type upd