Enable pretty printing of CantResolveAlts errors.

I undid the creation of the CantResolveTactics constructor, and instead
ensured all CantResolveAlts errors provide Names in some way.