Range Concepts and Error Reporting

Interpret static assertion failures to diagnose range composition errors.