Recognize that "id" is the K combinator in disguise. Rename it as "K" and extend its semantics accordingly.