Add some comments to TypeValidator