[incomplete] Add Typing.hs

Type unification is not working correctly
[incomplete] Fix Typing.hs

print_int (2+3) fails