Let forms should have an improved syntax for declaring functions and implicit progn

[eliaslfox]

Full let

(let (((id x) x)
      ((add a b) (+ a b)))
  (traceObject "add" (add 1 2))
  (traceObject "id" (id "hello")))

Short let

(progn
  (let (id x) = x)
  (id 5))

[stylewarning]

Scheme lets you do (define ...) in the same place we allow let x = blah.

Another idea: Maybe just like DECLARE we allow DEFINE in let forms, so it's syntactically obvious?

[eliaslfox]

Haskell allows

let f x = x in f 5