高階関数とラムダ式の説明を追加

Typical measuresは他の言語でも通じる話のような気がします。
あとfirst classの厳密な定義はないと認識してます。(言語ごとに定義されている)