No, it is not good design choose, because then all type-checker will have different optional and it will be a mess ...
It should be done in one place like python
I think the nature of open source is that all the tools have different options and it is a mess. I don't think this is an unequivocal bad thing.
No doubt, it is a joy when a different things are consistent, but it's also true that standards slow progress. I don't think python type checking in various tools is ready to have its progress slowed by standardization quite yet.