added the list? predicate, fixed the pair? predicate, updated the README