深入解析 Jev:TypeSafe 的 System One 模型