Fixed type inference assignment.

The problem was that unifying V(a) with V(a) creates a recursive entry in the map.