Text this: An adequate and efficient left-associated binary numeral system in the »-calculus.