set

In this implementation an unordered explicit finite set is a list with 'SET as its car. A Sol set evaluates (in the sense of eval) to itself.

(define set
(lambda a
(cons 'set a)))