with respect to the compiler we should allow any block outside the active section.
the compiler should export first all the global vars and then each active object one by one.
active objects should be able to inherit from each other. If I is an interface and A the active object that must inherit from it, then we get BA: BI and MA: MI
1.6.2