A bunch of small improvements.  Depends upon the CheckableString package.