Comment by tromp

> you technically can't do name = term

But you can do

    let name = term in term2

by de-sugaring it to

    ((λname. term2) term)