Fix var type inference2

Giving it another try.
this is not a general solution. What if a different cell has a ksequence in it? what if the K cell has Map in it? You need to come up with a solution that does not special case one specific cell.