docs(wiki): 修正「C/C++/Rust 无法表达」的措辞，18 章补未来展望

- 02-type-system.md / 05-classes.md / 13-bootstrapping.md：把「C/C++/Rust 均无法
  如此简洁表达」改为「当然可以表达，但是无法这样简洁」（这些语言当然能表达同样
  的语义，只是写法远不如 Viper 简洁，原措辞容易被读成"做不到"）。
- 18-flagship-project.md：新增「未来展望」章节——我们未来期望 Viper 在高并发、
  底层、AI 场景、边缘（端侧）能够发光发热，并逐条给出已有基础。

13-bootstrapping.md

@@ -209,7 +209,7 @@
 
 以下能力已在 includes/ 库中验证，证明 TransPyC 能承载编译器复杂度：
 
-- **复杂泛型容器**：`linkedlist.vp` 的递归泛型继承 `class GNode(GSListNode[GNode])`（C/C++/Rust 均无法如此简洁表达）
+- **复杂泛型容器**：`linkedlist.vp` 的递归泛型继承 `class GNode(GSListNode[GNode])`（C/C++/Rust 当然可以表达，但是无法这样简洁）
 - **复杂算法**：`zlib/` 的完整 deflate/inflate/huffman（~1,900 LOC 生产级压缩）
 - **n 维数组**：`numpy/__init__.vp` 的 ndarray + 运算符重载 + `__new__` 堆分配
 - **平台 FFI**：`w32/` 的 Win32 API 绑定（file/memory/process/sync/console）