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

[killme2008]

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

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