made the typechecker a lot happier in Var