This is a lambda expression to pi calculus expression converter.