型付けのリファクタリング。TypeSymbolなど作成。