4.1 define

(define (id id id ...) expr)

(define id expr)

The same as Intermediate’s define. No special case is needed for lambda, since a lambda form is an expression.