module nats.
import folpn.

type    z        i.
type    s        i -> i.
type    nat      i -> form.

pname_term z       "z"   nil.
pname_term (s X)   "s"   (X::nil).
pname_pred (nat X) "nat" (X::nil).