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