Revise dest_list and is_list
Revise dest_numeral function