Added type conversions to the stack machine
Task 4 done. Type checking implemented.