Reenable debugging support.
Typo
Some Church encodings!