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