test finite-list? and countable-list?
Test reduce.