Refactor sequence descriptions so that they use lists of Key objects
instead of strings, so that non-printing keys can be used, too. This
also gets rid of the prefix mechanism.