应该向 typescript 的报错系统学习， 使得 type checking 变成可选的， 这样之后用 x-lisp 来 bootstrap 自己的时候就简单了。