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

{let1 {x 1}
      {+ x
         {let1 {x 2} x}}}