Tidy up docstrings by filling them.
Rework, expand, and tighten conditions.

Among other things, don't presuppose that conditions will be errors.
Fill a long docstring.
Document the class CARD.