Some philosophical issues concerning theories of combinators