(let ((foo bar))
  (normal scheme stuff))

;; local
(let foo bar)

;; local fn
(let foo
 {(x:Int y:Double)
  (print x)
  (print y)
  (+ x y)})

;; exported
(define foo bar)

;; exported fn
(define foo
 {(x:Int y:Double)
  (print x)
  (print y)
  (+ y z)})






(<scope> ((<lexical> <expr>)
          ))



(foo (+ x (* y z))
     (blah)
     (blah))