Improve zzz_check_type_list_type_duplication.pl #25
Merge branch 'typedup'