Static Assertion Integration

Enhance static assertions with concept-based error messages.