A more natural datatype for lazy evaluation in combinatory logic