a file, read typed

---
type Category = travel|stay|food|gear
total = cost * qty
---
item:text!,category:Category,cost:EUR>=0,qty:int>=1,paid:yes/no,on:date
fuel,travel,84.20,1,yes,2026-08-14
groceries,food,96.75,2,no,2026-08-15
ferry,travel,5O.00,1,no,2026-08-17