chore(data/fintype/basic): add card_unique and a warning note to card_of_subsingleton (#7008)
card_unique
card_of_subsingleton