(assert (not (eq "a" (quote a))))
(assert (not (eq "a" 'a)))
(assert (eq "a" (quote "a")))
(assert (eq "a" '"a"))

(assert (eq (quote (a b c))
               (cons 'a
                 (cons 'b
                   (cons 'c
                     null)))))

(assert (eq '(a b c)
               (cons 'a
                 (cons 'b
                   (cons 'c
                     null)))))