Hopefully uncontroversial improvements to new Error code

This branch implement parts of #321 (closed); each commit is about one checkbox.

There are two more-debatable parts of #321 (closed) that I'll wait for an opinion about before building.