Add type casts and annotations to primitives

[m-demare]

There were some type issues preventing the VM from compiling. Also, some missing signed/unsigned casts in some primitives were resulting on branches being detected as dead by Z3 when they shouldn't