Is there a reason not to have all interfaces compile time checked? It would still be allowable to state a class implements an interface and have the compiler check it.
The reason I say this is it would remove the complexity of having the two types of interfaces. And if you wanted to be able to check for the interface at run-time the same interface can be used.
