- non-recursive equal? predicate
- ext_repr optimization 
- Garbage Collection?
- Add macro support