A unified and formal programming model for deltas and traits