Convert lambda expressions to CCC combinators