Merge cards.sml and crypto.sml.