Strings Into Lambda Calculus Expressions