Add bindVars
Refactor bindVars: use monadic pipeline
Add lambda expression