How Combinatory Logic Can Limit Computing Complexity