为虚拟机添加类型支持

[DistinctWind]

目标

目前虚拟机对类型一无所知，无法正确处理复杂的类型和错误。

现在我们有两种选择，要么让字节码变得更复杂，让字节码自带类型信息；要么让虚拟机变得更复杂，让虚拟机支持类型。

考虑再三，我决定选择后者。因为我们这是“虚拟机”，总要比物理机要高级一些。加入类型之后，就没必要引入类似FLOAT_PLUS之类的字节码了。