(normalise (make-numeral 1) global-env)

(global-rebind 'one '1)
(global-rebind 'two '2)
(global-rebind 'three '3)

(normalise (make-atom 'one) global-env)
(normalise (make-atom 'two) global-env)

(setq j1 (rcons0))
(setq j2 (prep (make-atom 'one) j1))
(setq j3 (prep (make-atom 'two) j2))

(normalise j1 global-env)
(normalise j2 global-env)
(normalise j3 global-env)

(global-rebind 'id
   (ccons global-env
         (prep (make-atom 'foo) (rcons0))
         (make-atom 'foo)))
(closure? (binding 'id global-env))

(normalise (pcons (make-atom 'id) j2) global-env)

(global-rebind 'id*
   (ccons global-env
         (make-atom 'foo)
         (make-atom 'foo)))
(closure? (binding 'id* global-env))

(normalise (pcons (make-atom 'id*) j2) global-env)
(normalise (pcons (make-atom 'id*) (make-boolean t)) global-env)
(normalise (pcons (make-atom 'id*)
                  (pcons (make-atom 'id*)
                         (make-atom 'one))) global-env)