Separated data type and value type (i.e. Int32 data type is i32 when embedded in struct, value type is { i32 } to match field for this/ldfld/stfld). Also improved some type conversions.
Sizeof opcode: added
Conv_Ovf_*: Added missing opcodes (actual overflow check is still not done)
Box: Added additional tests.