Add list length
Add list append and factor out common proper list iteration and cycle detection
Add list reverse
Add list-tail
Add list-ref
Add equivalence predicates
Add not
Add boolean? predicate
Add procedure? predicate
Add apply procedure