Class TypeSystemRefresher