Handle single-branch 'case' expressions. Needs eta-reduction and/or more CCC optimization.