Adjusted the BC rules to be consistent

A previous rules states that we guarantee BC for code extending the class. This rules does not allow marking a class as final as it would be a fatal error for extending code after the upgrade, which is far from being BC.