> There is also another problem because classes are checked by their name, > moving an abstract method of an interface into a super-interface will be > no more binary compatible. Can you unpack this assertion a bit?