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

{let1 {x 1}
      {let1 {y 2}
            {let1 {x 3}
                  {+ x y}}}}