nat : type.

z : nat.
s : nat -> nat.