Review stack type interpretation

[jp2masa]

Currently, we use the real types to interpret the stack types and implement the ops. We should use the "basic CLI types" (III.1.1):

• A subset of the full numeric types (int32, int64, native int, and F).
• Object references (O) without distinction between the type of object referenced.
• Pointer types (native unsigned int and &) without distinction as to the type pointed to.

The operand type tables (III.1.5) are based on these types, so we should use them to check the stack types and implement the ops.

There are 2 options to implement this:

1. Create a new class for stack types (maybe StackType), which holds the real type and the "basic CLI type", which would be evaluated in the constructor of StackType.
2. Use helper methods (like TypeOnStackIsInt32 and TypeOnStackIsObjectRef).

[fanoI]

The option 1 seems the more object oriented.