K and Cake combinators implemented.