Note that (lambda VARIABLES . BODY) appears in a template.
The dot is not part of the syntax of lambda, but rather for a dotted pair.
E.g. (1 . (2 . ()) is the same as (1 2).
If BODY from the pattern has matched a list, then (lambda VARIABLES . BODY) becomes a list.