Trait Resolution and Overlap Handling

Diagnose and resolve ambiguities when types implement conflicting trait versions.