on the way to introduce LET binding