型を調べるコマンドを追加
関数の型宣言の追加
よく使う型を用いた宣言を追加
型変数について追加
様々な型クラスについて追加
注意書きを追加
Merge pull request #5 from TanakaYutaro/master

第二章　型を信じろ！　について作成