nat : type.

nat/z : nat.
nat/s : nat -> nat.