Tigerインタプリタへ型（Type）を導入したい