Added encoding of nats as a w-type.