#lang plait
(define-syntax-rule (let1 (var expr) body)
  (let ([var expr]) body))
(define-syntax-rule (lam x body) (lambda (x) body))

{let1 {x 3}
      {let1 {f {lam y {+ x y}}}
            {f 3}}}