Fix var type inference2

Giving it another try.
This is a configuration. The sort of the <b> cell is not yet defined, so I will have an ambiguity between sort K and sort Bag. The maximal sort is ambiguous in this case since K and Bag are disjoint.