Lowering for constant record aggregates