Unable to extend a declared class if that class has a parent and is declared in another package

Create a knowledge base with: package p1 declare A extends B ... Try to compile the following (using the kbase classloader) package p2 import p1.A; declare A ... <<<< failure declare C extends A ... "declare A" is currently necessary, but will fail because A needs to extend B (which the author of the second package might not know or want to restate). "declare A extends B" fails, too, because it is seen as a new DEFINITION and not as a REDECLARATION.