Build a symbol in a specified package from a list
The function packn-pos behaves like packn, except that for the call (packn-pos lst witness), the returned symbol's package will instead be the package of the symbol, witness.
