subtype(payment, Card.class)    -> Card
set(payment, new Cash())        -> Cash
card number length              -> 16
card expiry is in the future    -> true
