I don't think it would hurt anything to move this to the `TypeSystem.__init__()` method