Text this: Natural numbers in illative combinatory logic