Packn
Build a symbol from a list
The call (packn lst) returns a symbol whose name is a
concatenation of string representations of the atoms in the atom-listp, lst. The symbol's package is the package of the first
symbol in lst whose package is not "COMMON-LISP" if any, else
"ACL2".
