#KJ-80 6. Cleanup the dependencies between the two semantics. Improved elaboration of arrays. An elaborated array allocation is now 'NewArray instead of an auxiliary construct.
#KJ-80 6. Cleanup the dependencies between the two semantics. Inlined the module extended-KResult.k .
#KJ-80 6. Cleanup the dependencies between the two semantics. Changed the elaborated form of 'QSuperMethod from an auxiliary construct to vanilla 'QSuperMethod.