information about Church encoding field