Create a library of recognized functions

Just like we have church numerals and church booleans, I want to create a library of recognized functions (like identity, y-combinator, successor, etc...) that the repl is able to recognize and relay back to the user.

まず、REPL が現在どのように church numerals と church booleans を認識して中継しているかを読んでください。identity、Y combinator、successor などの例を軸に認識対象関数のライブラリを定義し、その後 REPL がそれらを識別して報告することを確認してください。issue では特定のファイルやテストは指定されていません。

索引モデルが issue の本文から書いたものです。