Move types into another repo and put it on pypi #275
Description
This would make it easier to do mappings if all of the typings for N were open online and people did not have to download N to make the mappings.
{{ message }}
This would make it easier to do mappings if all of the typings for N were open online and people did not have to download N to make the mappings.