Use py-tree-sitter-type-provider for TLA+ state parsing once it's able to output .py sources

[smheidrich]

See:

• TODO.md in this repo
• Question: Actual Python source code generation wenkokke/py-tree-sitter-type-provider#93

[smheidrich]

@SnoozeThis wenkokke/py-tree-sitter-type-provider#93

[SnoozeThis]

(https://snoozeth.is/W8sl7T9rPAs) I will wait until wenkokke/py-tree-sitter-type-provider#93 is closed and then add a comment.