Implemented strings for lambda calculus