1 2 3 4
- non-recursive equal? predicate - ext_repr optimization - Garbage Collection? - Add macro support