Defining numbers as pure function applications