#lang plait
(define-type ENV
  [EmptyEnv]
  [Extend (name : Symbol) (val : VAL)
          (rest : ENV)])

(define-type VAL
  [NumV (n : Number)]
  [FunV (arg : Symbol) (body : FLANG)
        (env : ENV)])