Refining Error Messages for Generic Code

Use custom macros or traits to produce readable error messages when bounds are violated.