Provide a more detailed UniAST specification

[angrychow]

Is your feature request related to a problem? Please describe.

我发现目前 ABCoder 实际上有三套用于生成 UniAST 的解析器：基于 Golang 的解析器、基于 LSP 协议的解析器，以及基于 TypeScript 的解析器。考虑到未来可能会引入更多的解析器，我们或许应该为 UniAST 给出一个更严格的定义。

I’ve noticed that ABCoder currently has three parsers for generating UniAST: a Golang-based parser, an LSP-based parser, and a TypeScript-based parser. Considering that more parsers may be introduced in the future, it might be necessary to provide a stricter definition of UniAST.

Describe the solution you'd like

重写 docs/uniast-{zh|en}.md，给出一个符合规范的 specification 文档，并且每一类 parser 都应该描述实现 docs/uniast-{zh|en}.md 的关键细节。

Rewrite docs/uniast-{zh|en}.md, and provide documentation for each parser on how it implements docs/uniast-{zh|en}.md.

[welkeyever]

嗯，目前的 spec 主要来源于对 Go/Rust 的语法语义的抽象，实际上并不是一个通用普适的规范，不过目前根据 kotlin/typescript/java 的接入情况来看，一些有差异的语法在一定范围内都能够找到一个相对合理的解释。

一方面，我们倾向于优化并订正 spec 本身以适合更广泛的语言接入；另外一方面，也在尝试构建一套自动化的 parser 准入测试体系，将 parser 行为标准化，这两部分工作都需要一点点时间。