fixed a unification bug. "x-y=z+1" is now resolved as integer.
The bug was caused by the wrong asumtion that x and y point on different unknown types.
But at the resolve phase it is (of course) only one unknown-type object
+ test