更新特性文档：样式规范/模式匹配/上下文/结构体与类型类/副作用/空安全/容器/异步/模块系统
书同文：术语 型类→类型类；整页同步 doc/；新增 标准库/报错与诊断 页；测试数 369
docs(wiki): v2.0 同步——Home 升 v2.0（350 测试/空安全/可变性/异步/HKT）+ 新增 4 页：空安全系统/副作用与可变性控制/异步/高阶类型；简介进度 v1.0→v2.0；Sidebar 补链接