#KJ-80 7. Cleanup the dependencies between the two semantics. Corrected the bug introduced by previous commit, related to a few failed tests that use 'ArrayInit.