Infrastructure to tests inheritance across packages

I added tests for the current behavior that "breaks" when the package of the subclass has an object in the package, and the superclass is updated.