charles-l fixed lambda lifting

Latest commit 50d5035

Apr 6, 2018