Added exists metafunction for lists.