Nats-length
Get the length of the natarr array.
In the execution this just gets the array length. The
logical definition is just a wrapper for len:
Function: nats$a-length
(defun nats$a-length (natarr$a)
(declare (xargs :guard (natarr$ap natarr$a)))
(len natarr$a))
