A list is either the constant nil or an expression consisting of the constant cons, an arbitrary expression, and a list (or a variable denoting a list). For example, cons(a,cons(b,nil)) is a list.
Note that lists are typed and displayed using special notation. nil is equivalent to [], and cons(a,cons(b,nil)) is equivalent to [a,b] and a!b!nil).
