tetra: add church encoding demo