Validate Operations with different types

[jlvivero]

make sure that ADD/SUB/DIV ETC. of two types returns the correct type, for example
if an int and a double is in the stack, it should add them and push a double

Implement the conversions for it to work.