Python typing is optional and only checked statically, just like typescript typing. What else would a “Typescript for Python” add?