Fix for #1765: Another special case for widening rules
Fix for #1765: Make sure we don't consider the refining declaration as refined
Test for #1765: Java types in Ceylon error message caused by funny diamond inheritance
Updated test .src for #1765: Java types in Ceylon error message caused by funny diamond inheritance

Different sort of rules, most times more accurate