English combinatory logic: תרגום לשפות אחרות