Draft: Use new TS-based AST and type checker
Confirmed to build and pass tests with pseuco-lang c91a62bbbfda53333c67b93f5c46c3c0dba7d93b and pseuco-static-semantics bacb93e2ba5ae89123f2231415cfd21cbdbda0be.
Now waiting for the new versions to be published.