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

表せます -> 表します
型注釈が省略できる/できないと、表現方法は別なので。
下で、「関数を受け取る場合でも型注釈は省略できます」的な説明を入れるのはアリかも。