Class LIST

A list is a sequence --- an ordered bag --- of elements. It is KIF primitive.