Improve modal_map, etc.

 * modal_map better behaved wrt transpositions (except to chromes).
 * New steps() utility function (used by modal_map).
 * PGP signage.
 * Various internal reworkings, but the code, like the canon, is still
   quite Baroque.