Type checkingの項を訳しました
TOYOZUMIKouichiさんのtype-checkingをマージ
バージョン更新