fix jitting :-(

at some point this got lost, probably during the introduction of
CaseLambdas(?). Hope it has no other effects than making church
encoding stuff fast. Fixes #100