Added set.lisp

NBG in SNARK