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