Constraint-based Optimization Hints

Provide compiler hints based on type properties identified through concepts.