Subtypes: one thing, several kinds

A payment is a card or a transfer, with different facts for each: one table with a CHECK that ties kinds to columns, or a table per kind that shares the key, and the inheritance feature to avoid for it.