#lang plait
(define (interp expr)
  (type-case LAE expr
      @$\vdots$@
    [(Let1 bound-id named-expr bound-body)
     ;; no eval, wrapping       
     (interp (subst bound-body bound-id named-expr))] 
      @$\vdots$@ ))