Implement a syntactic transformation let-gtcombination that

Question

Let expressions are derived expressions, because

Implement a syntactic transformation let->combination that reduces evaluating let expressions to evaluating combinations of the type shown above, and add the appropriate clause to eval to handle let expressions