is_list : term -> bool

SYNOPSIS: Tests a term to see if it is a list.
DESCRIPTION: is_list returns true of a term representing a list. Otherwise it returns false.
FAILURE CONDITIONS: Never fails.
SEE ALSO: dest_cons, dest_list, is_cons, mk_cons, mk_list.