型
一般に型と呼ばれるものには2種類ある
1つめ
静的解析の1つとしての型検査における集合のようなもの
2つめ
実行時に値を区別するタグ