Improved error message for impl on typedef.

This addresses GH #9767. The text of the error message can, of course, change to meet reviewer preferences.