Certainly not conclusive, but maybe more succinct:
(defun c:var_val nil
(mapcar
(function
(lambda ( x ) (print (list (read x) (eval (read x)))))
)
(vl-remove-if
(function
(lambda ( x )
(or (wcmatch x ":*,AC*,PI,T,PAUSE,INITSTRING,AI_SYSVAR,VLAX-*,VLR-*")
(member (type (eval (read x))) '(SUBR USUBR EXRXSUBR))
)
)
)
(atoms-family 1)
)
)
(princ)
)