Fix var type inference2

Giving it another try.
okay, this is scary. please explain why you're doing this instead of trying to ensure the correct sort information is inferred in the context for these cells.