added Abel.Data.Nat (fold)