[gglitch]

Is the empty list also an s-expression? If so, would it not be slightly more correct to define s-expressions as either an atom or a list of zero or more s-expressions?

[wk_end]

An empty list is atomic! What could it break down into?