English variable binding: translation to other languages