add a contract to make-card (to protect drracket, really)