special-case an unusual box error
more boring stuff
pretty-print package messages on fewer lines when possible
use optimizations in the tests, too