add `let var = expr in expr` expression