nat.mkpair
Pairing function for the natural numbers.
nat.unpair
Unpairing function for the natural numbers.