Compiler should error if a class does not implement all methods from the interface

[itamarst]

Probably? If we're moving towards no-inheritance model. E.g.:

interface I {
    void foo();
}

class C extends I {}