Refactor 1 -- push array size and freevars metadata through to the code emitters.
Push through the previous and eliminate one FINISHME