Refining Compile-Time Error Messages

Craft custom errors for failed concepts to guide library users.