(let-exp (ids (list-of symbol?)) (rands (list-of expression?)) (body expression?))
What is the abstract syntax for a let-expression?