Added lifting of let expressions