The spec defines an axiom of [a]=a , i.e., singleton lists are equal to the single element and vice-versa.

The current implementation for the append() function requires a list as the first element, but should accept a single element as well.