Implement (list)
Add null? and list?
More predicates.
cleanup