Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus.