Just like macrolet except that the first subform is the form that computes the
value, and the remaining subforms are the binding clauses.