针对数值计算提供类型标注功能

可以生成和原生 java 一致的字节码，做到极致性能。难点在于：

1. 现有代码的兼容
2. 保持 aviator 类型系统的兼容性。

Start by reviewing AviatorScript’s existing numeric and type-system implementation, then identify how current expressions are compiled to JVM bytecode. Check compatibility with existing code and the Aviator type system before defining the scope; done means numeric type annotations work without breaking either compatibility requirement and produce Java-compatible bytecode.

Written by the indexing model from the issue text.