lect-04: fix nat_rec(t) def