store variable types in the result dict + other things
new constructor
testing binop as assign value