add more informations about Church encoding
finish more practices