Date that is n days after date; pass a negative n to go backward. Rolls across month and year boundaries automatically.
```ludic
program Demo {
handler Step phase Update {
let tomorrow = Date.add_days(Date.new(2026, 12, 31), 1) # 2027-01-01
}
}
```