An example of nest.fun() is modified as gen.tracer() becomes tracer().
added examples of church_encoding