Added some list predicates.

Added member/2, join/3, invert/2.