Lowering for some array aggregates