Finish lowering and code generation for dynamic array aggregates