Church_encoding loading ...